Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

226 résultats
Page :
triés par

ASP Solving for Expanding Universes

 Martin Gebser , Toni Janhunen , Holger Jost , Roland Kaminski , Torsten Schaub
Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States
Communication dans un congrès hal-01187005v1

Integrating ASP into ROS for Reasoning in Robots

 Benjamin Andres , David Rajaratnam , Orkunt Sabuncu , Torsten Schaub
Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. pp.25
Communication dans un congrès hal-01187006v1

Extraction des zones cohérentes par l’analyse spatio-temporelle d’images de télédétection

 Thomas Guyet , Simon Malinowski , Mohand-Cherif Benyounès
Revue Internationale de Géomatique, 2015, Numéro spécial SAGEO 2014, pp.22. ⟨10.3166/rig.25.473-494⟩
Article dans une revue hal-01184095v1

Apprentissage de motifs spatiaux et agronomiques jouant un rôle dans la contamination de

 Ronan Trépos , Marie-Odile Cordier , Véronique Masson , Chantal Gascuel
RJCIA'07 (8 èmes Rencontres Jeunes Chercheurs en Intelligence Artificielle), 2007, Grenoble, France. pp.231--246
Communication dans un congrès inria-00463007v1

Modèles graphiques pour le raisonnement temporel et spatial

 Jean-Francois Mari , Christine Largouët
F. Le Ber, G. Ligozat, O. Papini. Raisonnement sur l'espace et le temps, Edition Lavoisier, HERMES, pp.249 -- 271, 2007, ISBN : 2-7462-1455-5
Chapitre d'ouvrage inria-00606234v1

Extracting temporal patterns from interval-based sequences

 Thomas Guyet , René Quiniou
International Join Conference on Artificial Intelligence (IJCAI), Jul 2011, Barcelone, Spain
Communication dans un congrès inria-00618444v1
Image document

Programmation par ensembles réponses pour simuler l'assolement d'un paysage

 Thomas Guyet , Yves Moinard
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France
Communication dans un congrès hal-00989199v1

Configurations for Inference from Causal Statements: Preliminary Report

 Philippe Besnard , Marie-Odile Cordier , Yves Moinard
AI*IA 2005 (9th Congress of the Italian Association for Artificial Intelligence), 2005, Milan, Italy. pp.282-285
Communication dans un congrès inria-00511108v1
Image document

Enhancing Transcriptomic Data Mining with Semantic Ranking: Towards a new Functional Spectral Representation

 Sidahmed Benabderrahmane
International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2013, Granada, Spain,, Mar 2013, Granada, Spain. pp.978-84
Communication dans un congrès hal-00934279v1

Extraction incrémentale de séquences fréquentes dans un flux d'itemsets

 Thomas Guyet , René Quiniou
Extraction et Gestion de Connaissances (EGC'2012), Jan 2012, Bordeaux, France
Communication dans un congrès hal-00648893v1

A model based on influence diagrams for multi-criteria decision making

 Karima Sedki , Véronique Delcroix
International Journal on Artificial Intelligence Tools, 2012, 21 (4), pp.1250018. ⟨10.1142/S0218213012500182⟩
Article dans une revue hal-00757174v1
Image document

Chronicles for On-line Diagnosis of Distributed Systems

 Xavier Le Guillou , Marie-Odile Cordier , Sophie Robin , Laurence Rozé
[Research Report] PI 1890, 2008, pp.49
Rapport inria-00282294v1
Image document

Exploiting independence in a decentralised and incremental approach of diagnosis

 Alban Grastien , Marie-Odile Cordier
17th International Workshop on Principles of Diagnosis (DX-06), Belarmino Pulido Junquera, Jun 2006, Peñaranda de Duero / Spain
Communication dans un congrès inria-00086617v1

Diagnostic multi-sources adaptatif Application à la détection d'intrusion dans des serveurs Web

 Thomas Guyet , René Quiniou , Marie-Odile Cordier , Wei Wang
EGC 2009, 2009, Strasbourg, France
Communication dans un congrès inria-00460721v1
Image document

Sequential pattern mining on multimedia data

 Corentin Hardy , Laurent Amsaleg , Guillaume Gravier , Simon Malinowski , René Quiniou
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database Workshop on Advanced Analytics and Learning on Temporal Data, 2015, Porto, Portugal
Communication dans un congrès hal-01186446v1

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

 Mutsunori Banbara , Martin Gebser , Katsumi Inoue , Max Ostrowski , Andrea Peano , et al.
Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Sep 2015, Lexington, United States. pp.112-126, ⟨10.1007/978-3-319-23264-5_10⟩
Communication dans un congrès hal-01186996v1

Answer Set Programming modulo Acyclicity

 Jori Bomanson , Martin Gebser , Toni Janhunen , Benjamin Kaufmann , Torsten Schaub
Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), Sep 2015, Lexington, United States. pp.143-150, ⟨10.1007/978-3-319-23264-5_13⟩
Communication dans un congrès hal-01187003v1

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving

 Alexander Biewer , Benjamin Andres , Jens Gladigau , Torsten Schaub , Christian Haubelt
Proceedings of the Conference on Design, Automation and Test in Europe (DATE'15), 2015, San Jose, United States. pp.357-362
Communication dans un congrès hal-01187000v1

Adapting Web Services to Maintain QoS Even When Faults Occur

 Marie-Odile Cordier , Roberto Micalizio , Sophie Robin , Laurence Rozé
ICWS - IEEE 20th International Conference on Web Services, Jun 2013, Santa Clara - CA, United States. pp.403-410, ⟨10.1109/ICWS.2013.61⟩
Communication dans un congrès hal-00920474v1

Comparaison des chemins de Hilbert adaptatif et des graphes de voisinage pour la caractérisation d'un parcellaire agricole

 Thomas Guyet , Florence Le Ber , Sébastien da Silva , Claire Lavigne
Conférence Extraction et Gestion de Connaissances, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA). FRA., Jan 2014, Rennes, France. 615 p
Communication dans un congrès hal-00916964v1

Paysage, étalement urbain et décisions politiques : retour sur une approche pluridisciplinaire confrontant analyse spatiale et perceptions des acteurs.

 Anaïs Marshall , Thomas Guyet
« Concilier expertise scientifique et participation : le défi posé par la Convention européenne du paysage », Apr 2014, Bruxelles, Belgique
Communication dans un congrès hal-01622995v1

New lanthanide based coordination polymers with high potential porosity.

 Nicolas Kerbellec , Carole Daiguebonne , Kevin Bernot , Olivier Guillou , Xavier Le Guillou
Journal of Alloys and Compounds, 2008, 541, pp.377-383. ⟨10.1016/j.jallcom.2007.04.199⟩
Article dans une revue istex hal-00524368v1
Image document

Utilisation des chaînes d'automates pour le diagnostic décentralisé

 Alban Grastien
RFIA06, Jan 2006, Tours
Communication dans un congrès inria-00000608v1
Image document

Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes

 Yves Moinard
Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), LIRIS et thème Intelligence Artificielle Fondamentale du GDR-I3, Jun 2011, Lyon, France
Communication dans un congrès inria-00619527v1
Image document

Mining temporal patterns with quantitative intervals

 Thomas Guyet , René Quiniou
4th International Workshop on Mining Complex Data, (IEEE ICDM) Workshop, 2008, Italy. pp.10
Communication dans un congrès hal-00431445v1
Image document

Échantillonnage progressif guidé pour stabiliser la courbe d'apprentissage

 François Portet , René Quiniou
16e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Jan 2008, Amiens, France
Communication dans un congrès inria-00266536v1
Image document

Evaluation of real-time QRS detection algorithms in variable contexts

 François Portet , Guy Carrault , Alfredo Hernandez
Medical and Biological Engineering and Computing, 2005, 43 (3), pp.381-387
Article dans une revue inria-00001102v1

SACADEAU: A Decision-Aid System to improve Stream-Water Quality

 Marie-Odile Cordier
ERCIM News, 2005, 61, pp.37--38
Article dans une revue inria-00511099v1

Incremental Diagnosis of Discrete-Event Systems

 Alban Grastien , Marie-Odile Cordier , Christine Largouët
IJCAI'05 (International Joint Conference on Artificial Intelligence), 2005, Edinburgh, Scotland, United Kingdom. pp.1564--1565
Communication dans un congrès inria-00511109v1
Image document

Incremental Diagnosis of Discrete-Event Systems

 Alban Grastien , Marie-Odile Cordier , Christine Largouët
DX, Richard Dearden et Sriram Narasimhan, Jun 2005, Pacific Grove, California, USA
Communication dans un congrès inria-00000121v1
Page :