.:. Consultation > Liste par discipline > Intelligence artificielle .:.

26 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Classification non supervisée : de la multiplicité des données à la multiplicité des analyses Sublemontier J.-H. Université d'Orléans (07/12/2012), Christel Vrain (Dir.) [tel-00801555 - version 1]

Compression de signatures pour PIGA IDS Clairet P., Berthomé P., Briffaut J. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), France (2012) [hal-00780205 - version 1]

Branch and Learn pour l'acquisition de CSP Bessiere C., Coletta R., Koriche F., Lallouet A., Lopez M. JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes, France (2012) [lirmm-00752314 - version 1]

Apprentissage de problèmes de contraintes Lopez M. Université d'Orléans (2011-12-08), Arnaud Lallouet (Dir.) [tel-00668156 - version 2]

8ème édition de l'atelier "Fouille de données complexes" : complexité liée aux données multiples Cleuziou G., De Runz C., Lebbah M., Wemmert C. Actes du 8ème atelier Fouille de données complexes - complexité liée aux données multiples - dans le cadre de la conférence EGC'2011. (2011) [hal-00609725 - version 1]

Information Digestion Dias G. Université d'Orléans (10/12/2010), Adeline Nazarenko (Pr.) [tel-00669780 - version 1]

Une modélisation en CSP des grammaires de propriétés Duchier D., Dao T.-B.-H., Parmentier Y., Lesaint W. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, France (2010) [inria-00520308 - version 1]

Problèmes d'apprentissage de contraintes Lallouet A., Lopez M., Martin L. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, France (2010) [inria-00519481 - version 1]

Undernutrition Prevention for Disabled and Elderly People in Smart Home with Bayesian Networks and RFID Sensors Cislo N. D. Dans ICOST - 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Corée, République De (2010) [hal-00600423 - version 1]

Problèmes d'optimisation avec des contraintes quantifiées Benedetti M., Lallouet A., Vautard J. In Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009 - Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, France (2009) [hal-00390901 - version 1]

Décidabilité de contraintes du premier ordre par contraintes duales Djelloul K. In Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009 - Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, France (2009) [hal-00387824 - version 1]

Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues Dao T. B. H. Dans Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009 - Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, France (2009) [hal-00387817 - version 1]

Visualisation musicale d'un CSP Vautard J., Lallouet A. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), (2006) [inria-00085811 - version 1]

Extraire des Certificats des Formules Booléennes Quantifiées Benedetti M. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), (2006) [inria-00085806 - version 1]

Complétude des extensions en arbres de théories Djelloul K., Dao T.-B.-H. Journées Francophones de Programmation par Contraintes, (2006) [inria-00085774 - version 1]

Résolution de contraintes du premier ordre dans la théorie des arbres évalués Dao T.-B.-H., Djelloul K. Journées Francophones de Programmation par Contraintes, (2006) [inria-00085773 - version 1]

Explanations and Proof Trees Ferrand G., Lesaint W., Tessier A. Computing And Informatics 25 (2006) 105-125 [hal-00085545 - version 1]

Acquisition de Contraintes Ouvertes par Apprentissage de Solveur Legtchenko A., Lallouet A. Premières Journées Francophones de Programmation par Contraintes, (2005) [inria-00000052 - version 1]

Explanations and Proof Trees Ferrand G., Lesaint W., Tessier A. In International Symposium on Explanation-Aware Computing, ExaCt 2005 - International Symposium on Explanation-Aware Computing, ExaCt 2005, United States (2005) [hal-00085549 - version 1]

Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis Ferrand G., Lesaint W., Tessier A. In Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes - Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, France (2004) [hal-00085554 - version 1]