Search - Laboratoire de Recherche en Informatique Access content directly

Filter your results

4 610 Results
Domains : info
Image document

EXIST: Exploitation/Exploration Inference for Statistical Software Testing

Nicolas Baskiotis , Michèle Sebag , Marie-Claude Gaudel , Sandrine-Dominique Gouraud
On-line Trading of Exploration and Exploitation, NIPS 2006 Workshop, Dec 2006, Whistler, BC, Canada
Conference papers inria-00117172v1
Image document

Towards Soft Real-Time Applications on Enterprise Desktop Grids

Derrick Kondo , Bruno Kindarji , Gilles Fedak , Franck Cappello
[Technical Report] 2005
Reports inria-00000993v1
Image document

Formalisation et automatisation du raisonnement géométrique en Coq.

Julien Narboux
Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français. ⟨NNT : ⟩
Theses tel-00118806v1
Image document

Mechanical Theorem Proving in Tarski's geometry.

Julien Narboux
Automated Deduction in Geometry 2006, Francisco Botana, Aug 2006, Pontevedra, Spain. pp.139-156, ⟨10.1007/978-3-540-77356-6⟩
Conference papers inria-00118812v1
Image document

Simbad : an Autonomous Robot Simulation Package for Education and Research

Louis Hugues , Nicolas Bredeche
Simulation of Adaptive Behavior (SAB 2006), Sep 2006, Rome, Italy. pp.831-842
Conference papers inria-00116929v1
Image document

On the Probabilistic Query Complexity of Transitively Symmetric Problems

Pascal Koiran , Vincent Nesme , Natacha Portier
2006
Preprints, Working Papers, ... hal-00120934v2

Défi Fouille de Textes : reconnaissance automatique des auteurs de discours - Campagne DEFT'05 (TALN'05)

Violaine Prince , Yves Kodratoff , Jérôme Azé , Mathieu Roche
Violaine Prince, Yves Kodratoff, Jérôme Azé, Mathieu Roche. Cépaduès, E10, pp.158, 2007, Revue RNTI (Revue des Nouvelles Technologies de l'Information), 978.2.85428.7
Books lirmm-00135489v1

Pruning Terminology Extracted from a Specialized Corpus for CV Ontology Acquisition

Mathieu Roche , Yves Kodratoff
OnToContent'06 workshop - On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006, pp.1107-1116
Conference papers lirmm-00113165v1
Image document

A Decision Procedure for Geometry in Coq

Julien Narboux
Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩
Conference papers inria-00001035v1
Image document

Structure and dynamics of random recurrent neural networks

Hugues Berry , Mathias Quoy
Adaptive Behavior, 2006, 14, pp.129-137
Journal articles inria-00001065v1
Image document

Set-theoretic graph rewriting

Jean-Claude Raoult , Frédéric Voisin
[Research Report] RR-1665, INRIA. 1992
Reports inria-00074892v1
Image document

Generalisation de termes en theorie equationnelle. Cas associatif-commutatif

Loïc Pottier
[Rapport de recherche] RR-1056, INRIA. 1989, pp.47
Reports inria-00075503v1

Detecting Flows Congesting a Target Network Link

Dominique Barth , Pascal Berthomé , Madiagne Diallo
Electronic Notes in Discrete Mathematics, P. Frofiloff, C.M.H. de Figueiredo, Y. Wakabayashi, editors, GRACO'05, 2005, 19, pp.233-239
Journal articles hal-00125373v1
Image document

Characterizing Self-Developing Biological Neural Networks: A First Step Towards their Application To Computing Systems

Hugues Berry , Olivier Temam
Lecture Notes in Computer Science, 2005, 3512, pp.306-317
Journal articles inria-00000024v1

Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform

Franck Cappello , Frédéric Desprez , Michel Daydé , Emmanuel Jeannot , Yvon Jégou , et al.
6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
Conference papers inria-00000284v1
Image document

Incremental Ontology-Based Extraction and Alignment in Semi-Structured Documents

Mouhamadou Thiam , Nacéra Bennacer Seghouani , Nathalie Pernelle , Moussa Lô
20th International Conference DEXA (Database and Expert Systems Applications) 2009, Aug 2009, Linz, Austria. pp. 211-218
Conference papers hal-00423575v1

Web sémantique - De la terminologie aux services web

François Goasdoué , Alain Léger
Hermès - Lavoisier. Hermès - Lavoisier, 28, pp.294, 2009
Books inria-00429715v1
Image document

Using profiles based on hydropathy properties to define essential regions for splicing

Anatoly Ivashchenko , Galina Boldina , Aizhan Turmagambetova , Mireille Régnier
International Journal of Biological Sciences, 2009, 5, pp.13-19
Journal articles inria-00429780v1
Image document

Simulation of the Rungis Wholesale Market: Lessons on the Calibration, Validation and Usage of a Cognitive Agent-Based Simulation

Philippe Caillou , Corentin Curchod , Tiago Baptista
IAT 2009, Sep 2009, Milano, Italy. pp.70-73, ⟨10.1109/WI-IAT.2009.129⟩
Conference papers inria-00429616v1
Image document

Benchmarking the NEWUOA on the BBOB-2009 Noisy Testbed

Raymond Ros
GECCO, Jul 2009, Montréal, Canada
Conference papers inria-00377083v1
Image document

Benchmarking sep-CMA-ES on the BBOB-2009 Noisy Testbed

Raymond Ros
GECCO, Jul 2009, Montréal, Canada
Conference papers inria-00377090v1
Image document

ANALYSES AVANCÉES DE LA MÉTHODE HYBRIDE GMRES/LS-ARNOLDI ASYNCHRONE PARALLÈLE ET DISTRIBUÉE POUR LES GRILLES DE CALCUL ET LES SUPERCALCULATEURS

Haiwu He
Informatique [cs]. Université des Sciences et Technologie de Lille - Lille I, 2005. Français. ⟨NNT : ⟩
Theses tel-00431124v1
Image document

Combiner connaissances expertes, hors-ligne, transientes et en ligne pour l'exploration Monte-Carlo

Louis Chatriot , Christophe Fiter , Guillaume Chaslot , Sylvain Gelly , Jean-Baptiste Hoock , et al.
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2008
Journal articles inria-00343509v1
Image document

Combining Existential Rules and Transitivity: Next Steps

Jean-François Baget , Meghyn Bienvenu , Marie-Laure Mugnier , Swan Rocher
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Conference papers hal-01171846v1
Image document

Lightweight Interactive Proving inside an Automatic Program Verifier

Sylvain Dailler , Claude Marché , Yannick Moy
4th Workshop on Formal Integrated Development Environment, 2018, Oxford, United Kingdom
Conference papers hal-01936302v1
Image document

Fast Multidimensional Asymptotic and Approximate Consensus

Matthias Függer , Thomas Nowak
International Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩
Conference papers hal-01936316v1
Image document

Towards AutoML in the presence of Drift: first results

Jorge G Madrid , Hugo Jair Escalante , Eduardo F Morales , Wei-Wei Tu , Yang Yu , et al.
Workshop AutoML 2018 @ ICML/IJCAI-ECAI, Pavel Brazdil; Christophe Giraud-Carrier; Isabelle Guyon, Jul 2018, Stockholm, Sweden
Conference papers hal-01966962v1
Image document

Multi-Domain Adversarial Learning

Alice Schoenauer Sebag , Louise Heinrich , Marc Schoenauer , Michèle Sebag , Lani Wu , et al.
ICLR 2019 - Seventh annual International Conference on Learning Representations, Tara Sainath, May 2019, New Orleans, United States
Conference papers hal-01968180v1
Image document

Nouveaux résultats en classification à l'aide d'un codage par motifs fréquents

Sébastien Jouteau , Antoine Cornuéjols , Michèle Sebag , Philippe Tarroux , Jean-Sylvain Liénard
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2003, 17 (1-3), pp.521-532
Journal articles hal-02480324v1
Image document

GOSPEL -Providing OCaml with a Formal Specification Language

Arthur Charguéraud , Jean-Christophe Filliâtre , Cláudio Lourenço , Mário Pereira
FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
Conference papers hal-02157484v2