Spelling suggestions: "subject:"programmation alogique"" "subject:"programmation anlogique""
1 |
Evacuation planning using answer set programmingZepeda Cortès, Claudia Laurini, Robert Sol Martínez, David January 2006 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2005. Thèse doctorat : Informatique : Universidad de las Américas-Puebla : 2005. / Thèse soutenue en co-tutelle. Thèse rédigée en français, en anglais et en espagnol. Titre provenant de l'écran-titre. Bibliogr. p. 229-236.
|
2 |
Une nouvelle approche pour la vérification des masques des circuits intégrésJerraya, Ahmed Amine. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : informatique : Grenoble, INPG : 1983. / Titre provenant de l'écran-titre. Bibliogr. p. 147-153.
|
3 |
Machines spécialisées et programmation en logiqueBerger-Sabbatel, Gilles Anceau, François Mossière, Jacques. Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse d'Etat : sciences : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 201-214.
|
4 |
Découverte de motifs relationnels en bioinformatique application à la prédiction de ponts disulfures /Jacquemin, Ingrid. Nicolas, Jacques. January 2005 (has links) (PDF)
Thèse doctorat : Informatique. Bioinformatique : Rennes 1 : 2005. / Bibliogr. p. 107-129.
|
5 |
Unification et disunification théorie et applications /Comon, Hubert. Calmet, Jacques January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 225-230.
|
6 |
Mécanisation de la réutilisation de composants logiciels : approches et outils /Parot, Patrick. January 1900 (has links)
Th. doct.--Informatique--Orléans, 1995. / Bibliogr. p. 129-134. Résumé en anglais et en français. 1996 d'apès la déclaration de dépôt légal.
|
7 |
Apprentissage de problèmes de contraintes / Constraint problems learningLopez, Matthieu 08 December 2011 (has links)
La programmation par contraintes permet de modéliser des problèmes et offre des méthodes de résolution efficaces. Cependant, sa complexité augmentant ces dernières années, son utilisation, notamment pour modéliser des problèmes, est devenue limitée à des utilisateurs possédant une bonne expérience dans le domaine. Cette thèse s’inscrit dans un cadre visant à automatiser la modélisation. Les techniques existantes ont montré des résultats encourageants mais certaines exigences rendent leur utilisation encore problématique. Dans une première partie, nous proposons de dépasser une limite existante qui réside dans la nécessité pour l’utilisateur de fournir des solutions du problème qu’il veut modéliser. En remplacement, il nous fournit des solutions de problèmes proches, c’est-à-dire de problèmes dont la sémantique de fond est la même mais dont les variables et leur domaine peuvent changer. Pour exploiter de telles données, nous proposons d’acquérir, grâce à des techniques de programmation logique inductive, un modèle plus abstrait que le réseau de contraintes. Une fois appris, ce modèle est ensuite transformé pour correspondre au problème initial que souhaitait résoudre l’utilisateur. Nous montrons également que la phase d’apprentissage se heurte à des limites pathologiques et qui nous ont contraints à développer un nouvel algorithme pour synthétiser ces modèles abstraits. Dans une seconde partie, nous nous intéressons à la possibilité pour l’utilisateur de ne pas donner d’exemples du tout. En partant d’un CSP sans aucune contrainte, notre méthode consiste à résoudre le problème de l’utilisateur de manière classique. Grâce à un arbre de recherche, nous affectons progressivement des valeurs aux variables. Quand notre outil ne peut décider si l’affectation partielle courante est correcte ou non, nous demandons à l’utilisateur de guider la recherche sous forme de requêtes. Ces requêtes permettent de trouver des contraintes à ajouter aux modèles du CSP et ainsi améliorer la recherche. / Constraint programming allows to model many kind of problems with efficient solving methods. However, its complexity has increased these last years and its use, notably to model problems, has become limited to people with a fair expertise in the domain. This thesis deals with automating the modeling task in constraint programming. Methods already exist, with encouraging results, but many requirements are debatable. In a first part, we propose to avoid the limitation consisting, for the user, in providing solutions of the problem she aims to solve. As a replacement of these solutions, the user has to provide solutions of closed problem, i.e problem with same semantic but where variables and domains can be different. To handle this kind of data, we acquire, thanks to inductive logic programming, a more abstract model than the constraint network. When this model is learned, it is translated in the very constraint network the user aims to model. We show the limitations of learning method to build such a model due to pathological problems and explain the new algorithm we have developed to build these abstract models. In a second part, we are interesting in the possibility to the user to not provide any examples. Starting with a CSP without constraints, our method consists in solving the problem the user wants in a standard way. Thanks to a search tree, we affect to each variable a value. When our tool cannot decide if the current partial affectation is correct or not, we ask to the user, with yes/no queries, to guide the search. These queries allow to find constraints to add to the model and then to improve the quality of the search.
|
8 |
Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordreVassiliev, Pavel Beauquier, Danièle Soloviev, Igor. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Paris Est : 2008. Thèse de doctorat : Informatique : Université de Saint-Pétersbourg : 2008. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre.
|
9 |
Vers un environnement d'aide au développement de preuves en sémantique naturelle /Terrasse, Delphine, January 1900 (has links)
Th. doct.--Math., informatique--Noisy-le-Grand--Éc. natl. ponts et chaussées, 1995. / Bibliogr. p. 135-140. Résumé. 1996 d'après la déclaration de dépôt légal.
|
10 |
Langages concurrents avec contraintes : communication par messages et distribution /Réty, Jean-Hugues. January 1900 (has links)
Th. doct.--Informatique--Orléans, 1997. / Bibliogr. p. 133-140. Résumé. 1997 d'après la déclaration de dépôt légal.
|
Page generated in 0.0864 seconds