- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 21 (0.134 seconds)| 1 |
Test statistique structurel par résolution par contraintes de choix probabilistePetit, Matthieu Jensen, Thomas January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 113-119.
|
| 2 |
Ordonnancement d'ateliers sous contraintes de disponibilité des machinesAggoune, Riad. Portmann, Marie-Claude January 2008 (has links) (PDF)
Reproduction de : Thèse de doctorat : Automatique (Recherche opérationnelle) : Metz : 2002. / Titre provenant de l'écran-titre. Notes bibliographiques.
|
| 3 |
Contraintes géométriques en dimension 3Fabre, Arnaud Schreck, Pascal. January 2007 (has links) (PDF)
Thèse doctorat : Informatique : Strasbourg 1 : 2006. / Titre provenant de l'écran-titre. Bibliogr. 9 p.
|
| 4 |
Conception et approches par propagation de contraintes contribution à la mise en oeuvre d'un outil d'aide interactif /Vareilles, Elise Aldanondo, Michel. January 2005 (has links)
Reproduction de : Thèse de doctorat : Génie industriel : Toulouse, INPT : 2005. / Titre provenant de l'écran titre. Bibliogr. 65 réf.
|
| 5 |
Localisation d'ARN non-codants par réseaux de contraintes pondéréesZytnicki, Matthias Schiex, Thomas. Gaspin, Christine January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Toulouse 3 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 251-265.
|
| 6 |
Transformation de modèles de données intégration de la métamodélisation et de l'approche grammaticale /Deba, El Abbassia Bazex, Pierre January 2008 (has links)
Thèse en accès restreint. Reproduction de : Thèse de doctorat : Informatique : Toulouse 3 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 143-154.
|
| 7 |
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.
|
| 8 |
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.
|
| 9 |
Étude d'un algorithme pour 2-SAT via les opérations de majorité-minorité généraliséesKharrat, Ons 18 April 2018 (has links)
Les problèmes de satisfaction de contraintes sont parmi les problèmes fréquents qu'on trouve dans des domaines variés tels que la recherche opérationnelle et l'intelligence artificielle. Dans un problème de satisfaction de contraintes, on cherche à assigner aux variables des valeurs de telle sorte que toutes les contraintes fournies en entrée soient satisfaites. Chaque contrainte est une paire contenant un tuple de variables et une relation définissant les combinaisons de valeurs autorisées pour ce tuple. Ce problème est NP-complet, donc il est important d'identifier des cas particuliers résolubles en temps polynomial. Dans ce travail, on s'intéresse à une approche dite algébrique pour découvrir des classes de problèmes de satisfaction de contraintes traitables efficacement. On se base sur le résultat prouvé par Dalmau "en 2006" qui donne un algorithme polynomial pour une classe assez vaste de problèmes. On analyse et implémente un cas particulier de cet algorithme qui permet de résoudre des instances de 2-SAT. Cette implementation nous aidera à faire des expérimentations et à en apprendre plus sur la nature de l'algorithme de Dalmau et son comportement en pratique.
|
| 10 |
Système de règles de production et calcul de réécritureDubois, Hubert Kirchner, Hélène January 2001 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2001. / Thèse : 2001NAN10123. Titre provenant de l'écran-titre.
|
Page generated in 0.1383 seconds