Skip to Main content Skip to Navigation


inria-00356708v1  Journal articles
Emmanuel MazerJuan-Manuel AhuactzinPierre Bessière. The Ariadne's Clew Algorithm
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 1998, 9, pp.295-316
...
tel-00005043v1  Theses
Eric Dedieu. La représentation contingente : vers une réconciliation des approches fonctionnelles et structurelles de la robotique autonome
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1995. Français
...
hal-00089153v1  Conference papers
Olivier LebeltelJulien DiardPierre BessièreEmmanuel Mazer. A Bayesian framework for robotic programming
Twentieth International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (MaxEnt 2000), 2000, Paris, France
hal-00361039v1  Journal articles
Gerd FinkePierre LemaireJean-Marie ProthMaurice Queyranne. Minimizing the number of machines for minimum length schedules
European Journal of Operational Research, Elsevier, 2009, 199 (3), pp.702-705. ⟨10.1016/j.ejor.2006.11.050⟩
hal-00731966v1  Conference papers
Philippe MathieuMarie-Hélène Verrons. A generic model for contract negotiation
Proceedings of the Artificial Intelligence and the Simulation of Behaviour symposium on Intelligent Agents in Virtual Markets (AISB'02), 2002, undef, France. pp.1--8
hal-00731947v1  Conference papers
Philippe MathieuMarie-Hélène Verrons. Three different kinds of negotiation applications achieved with GeNCA
Proceedings of the International Conference on Advances in Intelligent Systems - Theory and Applications in cooperation with the IEEE Computer Society (AISTA'2004), 2004, Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg, Luxembourg, France
hal-00732048v1  Conference papers
Marie-Hélène VerronsPhilippe Mathieu. How to solve a scheduling problem by negotiation
Proceedings of the 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT'06), 2006, undef, France. pp.502--505
hal-00732051v1  Conference papers
Philippe MathieuMarie-Hélène Verrons. A Generic Negotiation Model for MAS using XML
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics workshop on Agent-based Systems for Autonomous Processing (ABA@SMC2003), 2003, undef, France. pp.4262--4267
hal-00731974v1  Conference papers
Philippe MathieuMarie-Hélène Verrons. ANTS: an API for creating negotiation applications
Concurrent Engineering : The Vision for the Future Generation in Research and Applications, 2003, undef, France. pp.169--175
hal-00732029v1  Conference papers
Marie-Hélène Verrons. Une forme de négociation entre entités virtuelles
Actes de la Manifestation des Jeunes Chercheurs en STIC (MAJECSTIC'04), 2004, undef, France
...
hal-00350476v1  Journal articles
Paul LibbrechtCyrille DesmoulinsChristian MercatColette LabordeMichael Dietrich et al.  Cross-Curriculum Search for Intergeo
Lecture Notes in Computer Science, Springer, 2008, 5144/2008, 520-535, ISBN 978-3-540-85109-7, ISSN 0302-9743 (Print) 1611-3349 (Online) /www.springerlink.com/con. ⟨10.1007/978-3-540-85110-3⟩
hal-02279960v1  Conference papers
Arshad KhanJoan Sol RooTobias KrausJürgen Steimle. Soft Inkjet Circuits: Rapid Multi Material Fabrication of Soft Circuits Using a Commodity Inkjet Printer
UIST’19 - 32nd ACM Symposium on User interface software and technology, Oct 2019, New Orleans, United States
hal-03135317v1  Book sections
Enrico MombelliIrene Vignon-ClementelDirk Drasdo. Méthodes in silico et modélisation des mécanismes de toxicité (AOP)
Francelyne Marano; Philippe Hubert; Laure Geoffroy; Hervé Juin. Quelles alternatives en expérimentation animale ?, Éditions Quae, pp.186, 2020, Savoir Faire, 978-2-7592-3187-4
...
tel-01239149v1  Theses
Olivier Brunet. Etude de la connaissance dans le cadre d'observations partielles : La logique de l'observation
Logique en informatique [cs.LO]. Université Joseph Fourier, Grenoble I, 2002. Français
hal-00837528v1  Conference papers
Jorge TavaresSalma MasmoudiEl-Ghazali Talbi. On the efficiency of local search methods for the molecular docking problem
EvoBio 2009 - 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, Apr 2009, Tubingen, Germany. pp.104-115, ⟨10.1007/978-3-642-01184-9_10⟩
...
inria-00549416v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Décidabilité et Complexité
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
hal-00106245v1  Book sections
Pierre BessièreOlivier LebeltelEmmanuel MazerKamel Mekhnacha. Simulation et Programmation
E. DOMBRE. Analyse et modélisation des robots, Editions HERMES, 2001
hal-00909511v1  Journal articles
András SebőZhentao LiRaphael MachadoStéphan ThomasséNicolas Trotignon. Complements of not so perfect graphs
European Journal of Combinatorics, Elsevier, 2013, 4 (3), pp.299 - 310
hal-02400482v1  Conference papers
Frederic DupuisAshutosh GoswamiMehdi MhallaValentin Savin. Purely Quantum Polar Codes
ITW 2019, Aug 2019, Gotland, Sweden
hal-01426722v1  Book sections
Stefan HoehmeAdrian FriebelSeddik HammadDirk DrasdoJan G. Hengstler. Creation of Three-dimensional Liver Tissue Models from Experimental Images for Systems Medicine
Peggy Stock, Bruno Christ. Hepatocyte Transplantation, 1506, Springer, pp.319-362, 2016, Methods in Molecular Biology, 978-1-4939-6504-5 (Print) 978-1-4939-6506-9. ⟨10.1007/978-1-4939-6506-9_22⟩