155 articles  [english version]
.:. Consultation > Liste par domaine > Informatique .:.
40 documents classés par :
1 - 2 - 3 - 4 Page Suivante Page Finale
fulltext access Méthodologie et outils pour la simulation multiagent dans des univers virtuels
Galland S.
Université de Franche-Comté (11/12/2013), René Mandiau (Pr.) [tel-00936334 - version 1]
fulltext access Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux
Cabrera Castillos K.
Université de Franche-Comté (28/11/2013), Jacques Julliand (Dir.) [tel-00924485 - version 1]
fulltext access Vers une méthodologie de développement d'outils de réalité virtuelle pour faciliter la convergence métiers en conception de produits centrée sur l'homme
Bennes L.
Université de Technologie de Belfort-Montbeliard (27/11/2013), Jean-Claude Sagot (Dir.) [tel-00931376 - version 1]
fulltext access Tree Automata, Approximations, and Constraints for Verification. Tree (Not-Quite) Regular Model-Checking.
Hugot V.
Université de Franche-Comté (27/09/2013), Olga Kouchnarenko (Dir.) [tel-00909608 - version 1]
fulltext access Un système multi-agents pour la gestion des connaissances hétérogènes et distribuées
Lahoud I.
Université de Technologie de Belfort-Montbeliard (10/09/2013), Vincent Hilaire;Davy Monticolo (Dir.) [tel-00977758 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access An organizational ontology for multiagent-based Enterprise Process modeling and automation
Lin Y.
Université de Technologie de Belfort-Montbeliard (10/09/2013), Nicolas Gaud;Vincent Hilaire (Dir.) [tel-00977726 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Calculs schématiques pour l'analyse de procédures de décision
Tushkanova E.
Université de Franche-Comté (19/07/2013), Olga Kouchnarenko (Dir.) [tel-00910929 - version 1]
fulltext access Reconstruction et analyse de trajectoires 2D d'objets mobiles par modélisation Markovienne et la théorie de l'évidence à partir de séquences d'images monoculaires - Application à l'évaluation de situations potentiellement dangereuses aux passages à niveau
Salmane H.
Université de Technologie de Belfort-Montbeliard (09/07/2013), Louahdi Khoudour;Yassine Ruichek (Dir.) [tel-00965595 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Reconstruction et analyse de trajectoires 2D d'objets mobiles par modélisation markovienne et par la théorie de l'évidence à partir de séquences d'images monoculaires - Application à l'évaluation du danger aux passages à niveau
Salmane H.
Université de Technologie de Belfort-Montbeliard (09/07/2013), Yassine Ruichek / Louahdi Khoudour (Dir.) [tel-00953503 - version 1]
fulltext access Résolution de systèmes linéaires et non linéaires creux sur grappes de GPUs
Ziane Khodja L.
Université de Franche-Comté (07/06/2013), Raphael Couturier;Jacques Bahi (Dir.) [tel-00947627 - version 1]
STAR - Dépôt national des thèses électroniques