Spelling suggestions: "subject:"artificielle"" "subject:"artificielles""
131 |
Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelleHallé, Sylvain January 2008 (has links) (PDF)
Depuis quelques années, de nombreux champs de l'informatique ont été transformés par l'introduction d'une nouvelle vision de la conception et de l'utilisation d'un système, appelée approche déclarative. Contrairement à l'approche dite impérative, qui consiste à décrire au moyen d'un langage formelles opérations à effectuer pour obtenir un résultat, l'approche déclarative suggère plutôt de décrire le résultat désiré, sans spécifier comment ce «but» doit être atteint. L'approche déclarative peut être vue comme le prolongement d'une tendance ayant cours depuis les débuts de l'informatique et visant à résoudre des problèmes en manipulant des concepts d'un niveau d'abstraction toujours plus élevé. Le passage à un paradigme déclaratif pose cependant certains problèmes: les outils actuels sont peu appropriés à une utilisation déclarative. On identifie trois questions fondamentales qui doivent être résolues pour souscrire à ce nouveau paradigme: l'expression de contraintes dans un langage formel, la validation de ces contraintes sur une structure, et enfin la construction d'une structure satisfaisant une contrainte donnée. Cette thèse étudie ces trois problèmes selon l'angle de la logique mathématique. On verra qu'en utilisant une logique comme fondement formel d'un langage de « buts », les questions de validation et de construction d'une structure se transposent en deux questions mathématiques, le model checking et la satisfiabilité, qui sont fondamentales et largement étudiées. En utilisant comme motivation deux contextes concrets, la gestion de réseaux et les architectures orientées services, le travail montrera qu'il est possible d'utiliser la logique mathématique pour décrire, vérifier et construire des configurations de réseaux ou des compositions de services web. L'aboutissement de la recherche consiste en le développement de la logique CTLFO+, permettant d'exprimer des contraintes sur les données, sur la séquences des opérations
d'un système, ainsi que des contraintes dites «hybrides». Une réduction de CTL-FO+ à la logique temporelle CTL permet de réutiliser de manière efficace des outils de vérification existants. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Méthodes formelles, Services web, Réseaux.
|
132 |
Reconnaissance visuelle pour un robot-cueilleur de tomates /Brassard, Louis. January 1990 (has links)
Mémoire (M.Sc.A.)--Université du Québec à Chicoutimi, 1990. / Document électronique également accessible en format PDF. CaQCU
|
133 |
Ethnographie de la communication dans un milieu social exolingue : le Centre culturel espérantiste de La Chaux-de-Fonds, Suisse /Papaloïzos, Lilli. January 1992 (has links)
Diss.--Linguistique--Bâle, 1991.
|
134 |
Modélisation géométrique par vision artificielle /Chen, Xin, January 1993 (has links)
Th. doct.--Signal et images--Paris--ENST, 1992. / Bibliogr. p. 225-248. Résumé en français.
|
135 |
Cooperative adaptive cruise control : a learning approachDesjardins, Charles. January 1900 (has links) (PDF)
Thèse (de maîtrise)--Université Laval, 2009. / Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr.
|
136 |
Étude de la cicatrisation normale et hypertrophique au moyen d'un modèle de peau reconstruite par génie tissulaire : étude comparative des interactions entre les cellules épithéliales et mésenchymateuses /Judith Bellemare.Bellemare, Judith. January 2004 (has links)
Thèse (M.Sc.)--Université Laval, 2004. / Bibliogr.: f. 85-94. Publié aussi en version électronique.
|
137 |
Aspects cognitifs des dialogues entre agents artificiels l'approche par la cohérence cognitive /Pasquier, Philippe. January 1900 (has links) (PDF)
Thèse (Ph. D.)--Université Laval, 2005. / Titre de l'écran-titre (visionné le 15 décembre 2005). Bibliogr.
|
138 |
Time map phonology : finite state models and event logics in speech recognition /Carson-Berndsen, Julie. January 1998 (has links)
Texte remanié de: Doct. th., 1993. / Bibliogr. p. 227-241. Index.
|
139 |
Esperanto et jeu de mots dans l'œuvre de Raymond Schwartz : 1894-1973 /Lloancy, Marie-Thérèse. January 1900 (has links)
Th. 3e cycle--Linguist.--Paris 5, 1985.
|
140 |
Deklarative prosodische Morphologie : Constraint-basierte Analysen und Computermodelle zum Finnischen und Tigrinya /Walther, Markus, January 1999 (has links)
Texte remanié de: Diss.--Düsseldorf Universität, 1997. / Bibliogr. p. [261]-272.
|
Page generated in 0.0319 seconds