Filter your results
- 5459
- 2583
- 72
- 4026
- 1813
- 662
- 471
- 334
- 280
- 132
- 125
- 90
- 82
- 44
- 19
- 11
- 11
- 5
- 4
- 3
- 2
- 393
- 32
- 11
- 6
- 3
- 3
- 2
- 2
- 7128
- 641
- 486
- 455
- 393
- 338
- 174
- 130
- 56
- 24
- 24
- 20
- 10
- 75
- 67
- 64
- 60
- 52
- 51
- 49
- 45
- 44
- 44
- 43
- 40
- 36
- 35
- 33
- 32
- 31
- 30
- 30
- 29
- 28
- 27
- 27
- 27
- 26
- 25
- 24
- 24
- 23
- 23
- 22
- 22
- 22
- 22
- 22
- 20
- 20
- 20
- 20
- 20
- 260
- 561
- 571
- 601
- 586
- 580
- 578
- 575
- 644
- 645
- 626
- 555
- 232
- 223
- 146
- 122
- 128
- 96
- 67
- 71
- 55
- 42
- 26
- 32
- 26
- 26
- 10
- 10
- 4
- 1
- 4
- 3
- 3
- 4
- 1
- 6798
- 1289
- 11
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 8114
- 5713
- 613
- 413
- 169
- 156
- 133
- 128
- 119
- 117
- 113
- 104
- 83
- 79
- 77
- 77
- 75
- 70
- 67
- 64
- 62
- 61
- 59
- 52
- 52
- 49
- 48
- 47
- 45
- 44
- 44
- 43
- 43
- 41
- 41
- 40
- 40
- 40
- 39
- 38
- 37
- 37
- 35
- 34
- 32
- 31
- 30
- 30
- 30
- 28
- 27
- 27
- 26
- 26
- 26
- 25
- 25
- 25
- 24
- 24
- 24
- 23
- 22
- 22
- 22
- 22
- 21
- 21
- 21
- 19
- 19
- 19
- 19
- 19
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 228
- 188
- 167
- 143
- 131
- 128
- 125
- 106
- 104
- 102
- 101
- 100
- 91
- 91
- 82
- 81
- 81
- 80
- 79
- 77
- 73
- 73
- 73
- 68
- 68
- 67
- 66
- 66
- 66
- 66
- 65
- 65
- 63
- 62
- 62
- 61
- 61
- 60
- 60
- 59
- 59
- 58
- 57
- 57
- 54
- 54
- 53
- 52
- 52
- 52
- 52
- 52
- 52
- 52
- 52
- 52
- 51
- 50
- 49
- 49
- 49
- 49
- 48
- 48
- 47
- 47
- 46
- 45
- 45
- 44
- 44
- 43
- 43
- 43
- 43
- 41
- 41
- 41
- 40
- 40
- 40
- 40
- 40
- 39
- 39
- 38
- 38
- 38
- 38
- 37
- 37
- 37
- 37
- 36
- 36
- 35
- 34
- 34
- 33
- 33
|
Automatic Combinability of Rewriting-Based Satisfiability Procedures13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2006, Nov 2006, Phnom Penh/Cambodia, pp.542--556, ⟨10.1007/11916277⟩
Conference papers
inria-00117261v1
|
||
|
Is attention to bounding boxes all you need for pedestrian action prediction?2021
Preprints, Working Papers, ...
hal-03288986v1
|
||
Optimization of multistage membrane gas separation processes. Example of application to CO2 capture from blast furnace gasJournal of Membrane Science, 2018, 566, pp.346-366. ⟨10.1016/j.memsci.2018.08.024⟩
Journal articles
hal-02939885v1
|
|||
|
DNSSM: A Large Scale Passive DNS Security Monitoring FrameworkNetwork Operations and Management Symposium, Apr 2012, Lahaina, United States. pp.988 - 993, ⟨10.1109/NOMS.2012.6212019⟩
Conference papers
hal-00749243v1
|
||
|
Complexity Analysis of Random Geometric Structures Made Simpler29th Annual Symposium on Computational Geometry, Jun 2013, Rio, Brazil. pp.167-175, ⟨10.1145/2462356.2462362⟩
Conference papers
hal-00833774v1
|
||
|
Towards Confidence Measures on Fundamental Frequency Estimations IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2017, New Orleans, United States
Conference papers
hal-01493168v1
|
||
|
Complexity invariance of real interpretations7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. pp.139-150, ⟨10.1007/978-3-642-13562-0⟩
Conference papers
inria-00535784v1
|
||
|
Modelling Memory: do crop models need to become nostalgic?ICROPM2020: Second International Crop Modelling Symposium, Feb 2020, Montpellier, France. Book of abstracts - XIIth Stics users seminar
Poster communications
hal-02737323v2
|
||
|
Как улучшить оценку множеств признаков с помощью принципа минимальной длины описанияRCAI-2018 - Russian Conference on Artificial Intelligence, Sep 2018, Moscou, Russia
Conference papers
hal-01889791v1
|
||
|
Rapid and Round-free Multi-pair Asynchronous Push-Pull Aggregation[Research Report] RR-8044, INRIA. 2012
Reports
hal-00724232v2
|
||
|
Using ontology-based annotation to profile disease researchJournal of the American Medical Informatics Association, 2012, 19 (e1), pp.e177-e186. ⟨10.1136/amiajnl-2011-000631⟩
Journal articles
hal-00752101v1
|
||
|
Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete2015
Other publications
hal-01239399v1
|
||
|
Weakly-supervised text-to-speech alignment confidence measureInternational Conference on Computational Linguistics (COLING), Dec 2016, Osaka, Japan
Conference papers
hal-01378355v1
|
||
Nouvelles méthodes statistiques pour le texte2013
Other publications
hal-01263800v1
|
|||
Routing Scheme for a Wireless Sensor Network Real-Time Locating System[Research Report] Loria & Inria Grand Est. 2012, pp.6
Reports
hal-00764931v1
|
|||
|
SCL with Theory Constraints2020
Preprints, Working Papers, ...
hal-02975868v1
|
||
|
First-Order Tests for Toricity2020
Preprints, Working Papers, ...
hal-03017907v1
|
||
|
Verification and synthesis using real quantifier eliminationProc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
Conference papers
hal-03142063v1
|
||
|
On Design and Deployment of Fuzzy-Based Metric for Routing in Low-Power and Lossy NetworksIEEE SenseApp 2015, Oct 2015, Clearwater Beach, Floride, United States
Conference papers
hal-01203409v1
|
||
|
How Fuzzy FCA and Pattern Structures are connected?5th Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI'2016), Aug 2016, The Hague, Netherlands
Conference papers
hal-01420997v1
|
||
|
Linear Integer Arithmetic Revisited2015
Preprints, Working Papers, ...
hal-03145059v1
|
||
|
Statistical Model Checking of Distributed Programs within SimGridSIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
Conference papers
hal-02978389v1
|
||
|
Vitesse de convergence et borne d'erreur pour l'algorithme LSTD($\lambda$)JFPDA - 9èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, May 2014, Liège, Belgique
Conference papers
hal-00990508v1
|
||
Nouveaux mécanismes de filtrage de tests basés sur le modèleActes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
Conference papers
hal-00953273v1
|
|||
|
Orchestration d'expériences à l'aide de processus métierComPAS : Conférence d'informatique en Parallélisme, Architecture et Système., Jan 2013, Grenoble, France
Conference papers
hal-00749601v4
|
||
|
Unsupervised Sentence Simplification Using Deep Semantics The 9th International Natural Language Generation conference, Sep 2016, Edinburgh, United Kingdom. pp.111 - 120, ⟨10.18653/v1/W16-6620⟩
Conference papers
hal-01623829v1
|
||
A new incremental clustering approach based on cluster data feature maximization2012
Other publications
hal-01263778v1
|
|||
|
On Abstract Computer Virology from a Recursion-theoretic PerspectiveJournal in Computer Virology, 2006, 1 (3-4), pp.45--54. ⟨10.1007/s11416-005-0007-4⟩
Journal articles
inria-00115199v1
|
||
|
Collective infotaxis with reactive amoebae: a note on a simple bio-inspired mechanism12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Sep 2016, Fez, Morocco. ⟨10.1007/978-3-319-44365-2_15⟩
Conference papers
hal-01327983v1
|
||
|
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction[Research Report] 2013
Reports
hal-00803412v1
|