Zobrazeno 1 - 2
of 2
pro vyhledávání: '"abstraction temporelle"'
Autor:
Kim, Taesup
Ces dernières années, l'intelligence artificielle a été considérablement avancée et l'apprentissage en profondeur, où des réseaux de neurones profonds sont utilisés pour tenter d'imiter vaguement le cerveau humain, y a contribué de manière
Externí odkaz:
http://hdl.handle.net/1866/26274
Autor:
Robert, Thomas
La vérification en ligne de spécifications formelles permet de créer des détecteurs d'erreur dont le pouvoir de détection dépend en grande partie du formalisme vérifié à l'exécution. Plus le formalisme est puissant plus la séparation entre
Externí odkaz:
http://www.theses.fr/2009INPT028H/document