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

Filtrer vos résultats

32 résultats
Page :
triés par

Interval Methods for Model Qualification: Methodology and Advanced Application

 Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney
Mathematics in Computer Science, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩
Article dans une revue hal-01057364v1
Image document

Query-Driven Constraint Acquisition

 Christian Bessiere , Remi Coletta , Barry O'Sullivan , Mathias Paulin
IJCAI 2007 - 20th International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India. pp.44-49
Communication dans un congrès lirmm-00195905v1
Image document

Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search

 Mohamed Wahbi , Redouane Ezzahir , Christian Bessiere , El Houssine Bouyakhf
ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.33-40, ⟨10.1109/ICTAI.2012.14⟩
Communication dans un congrès lirmm-00748195v1
Image document

Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots

 Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney
EUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain
Communication dans un congrès hal-00987425v1
Image document

Raisonnement spatial et temporel

 Christian Bessiere , Jérôme Euzenat , Robert Jeansoulin , Gérard Ligozat , Sylviane Schwer
6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. pp.77-88
Communication dans un congrès hal-01401180v1
Image document

Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming

 Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney , Gilles Chabert
Federico Thomas; Alba Perez Gracia. Computational Kinematics, 15, Springer Netherlands, pp.209-217, 2014, Mechanisms and Machine Science, 978-94-007-7213-7. ⟨10.1007/978-94-007-7214-4_24⟩
Chapitre d'ouvrage hal-00907499v1
Image document

Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach

 Nadjib Lazaar , Said Jabbour , Youssef Hamadi , Michèle Sebag
NIPS 2012 - Workshop on Bayesian Optimization & Decision Making, Dec 2012, Lake Tahoe, United States
Communication dans un congrès hal-00870946v1
Image document

Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données

 Nassim Belmecheri , Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni
EGC 2022 - 22e Conférence Extraction et Gestion des Connaissances, Jan 2022, Blois, France
Communication dans un congrès lirmm-03687103v1
Image document

Public Data Integration with WebSmatch

 Remi Coletta , Emmanuel Castanier , Patrick Valduriez , Christian Frisch , Duy Hoa Ngo , et al.
WOD: Workshop on Open Data, May 2012, Nantes, France. pp.5-12
Communication dans un congrès lirmm-00750927v1

L’intelligence Artificielle: De quoi s’agit-il vraiment ?

 Frédéric Alexandre , Leila Amgoud , Christian Bessiere , Jean-François Bonnefon , Tristan Cazenave , et al.
Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages hal-04270163v1

Learning Implied Global Constraints

 Christian Bessiere , Remi Coletta , Thierry Petit
IJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55
Communication dans un congrès lirmm-00195896v1

Artificial Intelligence. What is it, exactly?

 Frédéric Alexandre , Christian Bessiere , Jean-François Bonnefon , Tristan Cazenave , Raja Chatila , et al.
Sébastien Konieczny; Henri Prade. College Publication, 2021, 9781848903388
Ouvrages hal-04270168v1
Image document

Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints

 Ignacio Araya , Gilles Trombettoni , Bertrand Neveu , Gilles Chabert
Journal of Global Optimization, 2014, 60 (2), pp.145-164. ⟨10.1007/s10898-014-0145-7⟩
Article dans une revue hal-01061701v1
Image document

Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone

 Mohamed Wahbi , Redouane Ezzahir , Christian Bessiere , El Houssine Bouyakhf
9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France
Communication dans un congrès lirmm-00830408v1
Image document

Nogood-Based Asynchronous Forward Checking Algorithms

 Mohamed Wahbi , Redouane Ezzahir , Christian Bessiere , El Houssine Bouyakhf
Constraints, 2013, 18 (3), pp.404-433. ⟨10.1007/s10601-013-9144-4⟩
Article dans une revue hal-00816928v1
Image document

Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems

 Jannik Laval , Jean-Rémy Falleri , Philippe Vismara , Stéphane Ducasse
The Journal of Object Technology, 2012, 11 (1), pp.N/A. ⟨10.5381/jot.2012.11.1.a4⟩
Article dans une revue hal-00692569v1
Image document

Multi-Armed Bandits for Adaptive Constraint Propagation

 Amine Balafrej , Christian Bessiere , Anastasia Paparrizou
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.290-296
Communication dans un congrès hal-01234361v1
Image document

Filtering Decomposable Global Cost Functions

 David Allouche , Christian Bessiere , Patrice Boizumault , Simon de Givry , Patricia Gutierrez , et al.
AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, ON, Canada
Communication dans un congrès lirmm-00748187v1
Image document

Making Bound Consistency as Effective as Arc Consistency

 Christian Bessiere , Thierry Petit , Bruno Zanuttini
IJCAI'09: 21st International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.425-430
Communication dans un congrès lirmm-00382609v1
Image document

A Box-Consistency Contractor Based on Extremal Functions

 Gilles Trombettoni , Yves Papegay , Gilles Chabert , Odile Pourtallier
CP: Principles and Practice of Constraint Programming, Sep 2010, St Andrews, United Kingdom. pp.491-498, ⟨10.1007/978-3-642-15396-9_39⟩
Communication dans un congrès hal-01146875v1
Image document

Apprentissage de Contraintes Globales Implicites

 Christian Bessiere , Remi Coletta , Thierry Petit
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258
Communication dans un congrès inria-00000069v1
Image document

View Selection under Multiple Resource Constraints in a Distributed Context

 Imene Mami , Zohra Bellahsene , Remi Coletta
DEXA 2012 - 23rd International Conference on Database and Expert Systems Applications, Sep 2012, Vienne, Austria. pp.281-296, ⟨10.1007/978-3-642-32597-7_25⟩
Communication dans un congrès lirmm-00736722v1
Image document

A Constraint Satisfaction based Approach to View Selection in a Distributed Context

 Imene Mami , Zohra Bellahsene , Remi Coletta
BDA 2012 - 28e journées Bases de Donnees Avancées, Oct 2012, Clermont-Ferrand, France
Communication dans un congrès lirmm-00736723v1

Graph-Mining Algorithm for the Evaluation of Bond Formability

 Frédéric Pennerath , Gilles Niel , Philippe Vismara , Philippe Jauffret , Claude Lauren , et al.
Journal of Chemical Information and Modeling, 2010, 50 (2), pp.221-239. ⟨10.1021/ci9003909⟩
Article dans une revue hal-00471405v1
Image document

An integer linear programming approach for genome scaffolding

 Nicolas Briot , Annie Chateau , Remi Coletta , Simon de Givry , Philippe Leleux , et al.
WCB: Workshop on Constraint-Based Methods for Bioinformatics, Sep 2014, Lyon, France. 16 p
Communication dans un congrès hal-01198359v1
Image document

Boosting the Learning for Ranking Patterns

 Nassim Belmecheri , Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni
Algorithms, 2023, 16 (5), pp.218. ⟨10.3390/a16050218⟩
Article dans une revue hal-04130835v1
Image document

Acquiring Parameters of Implied Global Constraints

 Christian Bessiere , Remi Coletta , Thomas Petit
CP: Principles and Practice of Constraint Programming, Oct 2005, Sitges, Spain. pp.747-751, ⟨10.1007/11564751_57⟩
Communication dans un congrès istex lirmm-00106045v1
Image document

Asynchronous Forward Bounding Revisited

 Mohamed Wahbi , Redouane Ezzahir , Christian Bessiere
CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.708-723, ⟨10.1007/978-3-642-40627-0_52⟩
Communication dans un congrès lirmm-00839024v1
Image document

Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation

 Clément Carbonnel , Gilles Trombettoni , Philippe Vismara , Gilles Chabert
28th AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636, ⟨10.1609/aaai.v28i1.9117⟩
Communication dans un congrès hal-01084606v1
Image document

Public Data Integration with WebSmatch

 Emmanuel Castanier , Remi Coletta , Patrick Valduriez , Christian Frisch
BDA 2012 - 28e journées Bases de Données Avancées, Oct 2012, Clermont-Ferrand, France
Communication dans un congrès lirmm-00750910v1
Page :