Zobrazeno 1 - 6
of 6
pro vyhledávání: '"validation incrémentale"'
Nous nous intéressons par le problème de la sémantique des mises à jour et de la cohérence des bases de données dans différents contextes comme les documents XML et les services web. En effet, des difficultés particulières sont à prévoir l
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00271099
http://tel.archives-ouvertes.fr/docs/00/27/10/99/PDF/HDR-MirianHalfeldFerrari-HAL.pdf
http://tel.archives-ouvertes.fr/docs/00/27/10/99/PDF/HDR-MirianHalfeldFerrari-HAL.pdf
Autor:
Poittevin, Luc
Ce travail s'inscrit dans la recherche en acquisition des connaissances et en apprentissage automatique pour la modélisation et la validation incrémentale de connaissances de résolution de problème. Nous proposons un modèle simple de représenta
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00941692
http://tel.archives-ouvertes.fr/docs/00/94/16/92/PDF/TheseLucPoittevin.pdf
http://tel.archives-ouvertes.fr/docs/00/94/16/92/PDF/TheseLucPoittevin.pdf
Autor:
Poittevin, Luc
Publikováno v:
Apprentissage [cs.LG]. Université Paris Sud-Paris XI, 1998. Français
This work takes place in Knowledge Acquisition and Machine Learning research for incremental modelling and validation of problem solving knowledge. We introduce a simple model for representing procedural knowledge, based on the concept of situation,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::98cc90e1cc86f3de4eff0f904e1b91c0
https://tel.archives-ouvertes.fr/tel-00941692/document
https://tel.archives-ouvertes.fr/tel-00941692/document
Autor:
BOULANGER Jean-Louis
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.Diff
Autor:
FOULARD Claude
Les concepts et outils pour la productique évoluent rapidement. Il convient alors que leur développement tire profit des recherches en modélisation. La modélisation en entreprise en en décrit les principes et les moyens d'application.
Autor:
DSSOULI Rachida
Les protocoles de communication constituent l'essence des réseaux informatiques et de la télématique. Les méthodes, les techniques et les outils qui s'appliquent au développement et la mise en oeuvre de ces règles de communication, constituent