Filter your results
- 3045
- 1557
- 8
- 2480
- 1046
- 282
- 254
- 150
- 104
- 78
- 65
- 56
- 29
- 28
- 28
- 3
- 3
- 2
- 1
- 1
- 208
- 23
- 1
- 1
- 4606
- 254
- 200
- 66
- 60
- 60
- 57
- 38
- 9
- 4
- 3
- 2
- 39
- 39
- 37
- 34
- 32
- 29
- 29
- 21
- 21
- 21
- 21
- 4
- 9
- 30
- 208
- 289
- 320
- 343
- 364
- 338
- 343
- 343
- 322
- 306
- 302
- 260
- 175
- 143
- 136
- 82
- 76
- 44
- 27
- 17
- 21
- 4
- 14
- 5
- 5
- 6
- 5
- 5
- 9
- 2
- 6
- 12
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 4088
- 517
- 3
- 1
- 1
- 4533
- 2644
- 264
- 168
- 154
- 114
- 109
- 107
- 97
- 96
- 96
- 92
- 88
- 82
- 80
- 73
- 71
- 69
- 64
- 62
- 62
- 60
- 58
- 57
- 56
- 54
- 50
- 48
- 45
- 44
- 44
- 38
- 38
- 37
- 35
- 34
- 33
- 32
- 32
- 31
- 28
- 27
- 26
- 26
- 25
- 25
- 25
- 25
- 24
- 24
- 23
- 22
- 21
- 21
- 21
- 20
- 20
- 20
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 16
- 16
- 16
- 16
- 16
- 16
- 16
- 15
- 14
- 14
- 14
- 14
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 192
- 138
- 137
- 123
- 90
- 89
- 89
- 86
- 78
- 76
- 75
- 74
- 70
- 70
- 66
- 62
- 61
- 59
- 59
- 59
- 58
- 57
- 57
- 54
- 53
- 52
- 50
- 49
- 49
- 47
- 47
- 46
- 46
- 44
- 43
- 43
- 42
- 42
- 41
- 40
- 40
- 39
- 39
- 36
- 36
- 34
- 34
- 34
- 33
- 33
- 33
- 32
- 32
- 32
- 31
- 31
- 31
- 31
- 30
- 30
- 29
- 29
- 29
- 29
- 29
- 29
- 29
- 27
- 26
- 26
- 26
- 26
- 25
- 25
- 25
- 25
- 25
- 24
- 24
- 24
- 24
- 24
- 24
- 24
- 23
- 22
- 22
- 22
- 22
- 22
- 22
- 22
- 22
- 22
- 21
- 21
- 21
- 21
- 20
- 20
|
EXIST: Exploitation/Exploration Inference for Statistical Software TestingOn-line Trading of Exploration and Exploitation, NIPS 2006 Workshop, Dec 2006, Whistler, BC, Canada
Conference papers
inria-00117172v1
|
||
|
Towards Soft Real-Time Applications on Enterprise Desktop Grids[Technical Report] 2005
Reports
inria-00000993v1
|
||
|
Formalisation et automatisation du raisonnement géométrique en Coq.Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français. ⟨NNT : ⟩
Theses
tel-00118806v1
|
||
|
Mechanical Theorem Proving in Tarski's geometry.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
|
||
|
Simbad : an Autonomous Robot Simulation Package for Education and ResearchSimulation of Adaptive Behavior (SAB 2006), Sep 2006, Rome, Italy. pp.831-842
Conference papers
inria-00116929v1
|
||
|
On the Probabilistic Query Complexity of Transitively Symmetric Problems2006
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. 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 AcquisitionOnToContent'06 workshop - On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006, pp.1107-1116
Conference papers
lirmm-00113165v1
|
|||
|
A Decision Procedure for Geometry in CoqTheorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩
Conference papers
inria-00001035v1
|
||
|
Structure and dynamics of random recurrent neural networksAdaptive Behavior, 2006, 14, pp.129-137
Journal articles
inria-00001065v1
|
||
|
Set-theoretic graph rewriting[Research Report] RR-1665, INRIA. 1992
Reports
inria-00074892v1
|
||
|
Generalisation de termes en theorie equationnelle. Cas associatif-commutatif[Rapport de recherche] RR-1056, INRIA. 1989, pp.47
Reports
inria-00075503v1
|
||
Detecting Flows Congesting a Target Network LinkElectronic 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
|
|||
|
Characterizing Self-Developing Biological Neural Networks: A First Step Towards their Application To Computing SystemsLecture Notes in Computer Science, 2005, 3512, pp.306-317
Journal articles
inria-00000024v1
|
||
Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
Conference papers
inria-00000284v1
|
|||
|
Incremental Ontology-Based Extraction and Alignment in Semi-Structured Documents20th 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 webHermès - Lavoisier. Hermès - Lavoisier, 28, pp.294, 2009
Books
inria-00429715v1
|
|||
|
Using profiles based on hydropathy properties to define essential regions for splicingInternational Journal of Biological Sciences, 2009, 5, pp.13-19
Journal articles
inria-00429780v1
|
||
|
Simulation of the Rungis Wholesale Market: Lessons on the Calibration, Validation and Usage of a Cognitive Agent-Based SimulationIAT 2009, Sep 2009, Milano, Italy. pp.70-73, ⟨10.1109/WI-IAT.2009.129⟩
Conference papers
inria-00429616v1
|
||
|
Benchmarking the NEWUOA on the BBOB-2009 Noisy TestbedGECCO, Jul 2009, Montréal, Canada
Conference papers
inria-00377083v1
|
||
|
Benchmarking sep-CMA-ES on the BBOB-2009 Noisy TestbedGECCO, Jul 2009, Montréal, Canada
Conference papers
inria-00377090v1
|
||
|
ANALYSES AVANCÉES DE LA MÉTHODE HYBRIDE GMRES/LS-ARNOLDI ASYNCHRONE PARALLÈLE ET DISTRIBUÉE POUR LES GRILLES DE CALCUL ET LES SUPERCALCULATEURSInformatique [cs]. Université des Sciences et Technologie de Lille - Lille I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00431124v1
|
||
|
Combiner connaissances expertes, hors-ligne, transientes et en ligne pour l'exploration Monte-CarloRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2008
Journal articles
inria-00343509v1
|
||
|
Combining Existential Rules and Transitivity: Next StepsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Conference papers
hal-01171846v1
|
||
|
Lightweight Interactive Proving inside an Automatic Program Verifier4th Workshop on Formal Integrated Development Environment, 2018, Oxford, United Kingdom
Conference papers
hal-01936302v1
|
||
|
Fast Multidimensional Asymptotic and Approximate ConsensusInternational Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩
Conference papers
hal-01936316v1
|
||
|
Towards AutoML in the presence of Drift: first resultsWorkshop AutoML 2018 @ ICML/IJCAI-ECAI, Pavel Brazdil; Christophe Giraud-Carrier; Isabelle Guyon, Jul 2018, Stockholm, Sweden
Conference papers
hal-01966962v1
|
||
|
Multi-Domain Adversarial LearningICLR 2019 - Seventh annual International Conference on Learning Representations, Tara Sainath, May 2019, New Orleans, United States
Conference papers
hal-01968180v1
|
||
|
Nouveaux résultats en classification à l'aide d'un codage par motifs fréquentsRevue 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
|
||
|
GOSPEL -Providing OCaml with a Formal Specification LanguageFM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
Conference papers
hal-02157484v2
|