Filter your results
- 1891
- 1364
- 4
- 1896
- 696
- 174
- 143
- 108
- 90
- 68
- 44
- 16
- 11
- 9
- 3
- 1
- 73
- 12
- 2
- 2975
- 196
- 122
- 85
- 67
- 61
- 25
- 17
- 15
- 13
- 2
- 1
- 28
- 20
- 1
- 1
- 2
- 2
- 7
- 6
- 182
- 224
- 250
- 279
- 246
- 267
- 259
- 288
- 271
- 175
- 214
- 174
- 133
- 96
- 37
- 38
- 27
- 17
- 17
- 24
- 8
- 9
- 3
- 2
- 2517
- 721
- 9
- 5
- 4
- 2
- 1
- 3259
- 1156
- 206
- 106
- 89
- 54
- 49
- 49
- 48
- 44
- 43
- 42
- 41
- 36
- 33
- 32
- 31
- 30
- 29
- 29
- 29
- 28
- 27
- 23
- 21
- 20
- 18
- 18
- 17
- 16
- 16
- 16
- 16
- 16
- 16
- 16
- 15
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 174
- 126
- 115
- 113
- 108
- 104
- 100
- 96
- 87
- 80
- 76
- 75
- 69
- 68
- 67
- 59
- 59
- 58
- 55
- 52
- 51
- 51
- 50
- 49
- 49
- 49
- 46
- 46
- 45
- 44
- 43
- 43
- 43
- 42
- 42
- 42
- 42
- 41
- 39
- 38
- 38
- 38
- 37
- 37
- 37
- 36
- 36
- 36
- 35
- 34
- 34
- 34
- 34
- 32
- 32
- 32
- 31
- 30
- 30
- 29
- 29
- 29
- 28
- 28
- 27
- 27
- 26
- 26
- 26
- 25
- 25
- 25
- 24
- 24
- 24
- 24
- 23
- 23
- 22
- 22
- 22
- 21
- 20
- 20
- 20
- 20
- 20
- 19
- 19
- 19
- 19
- 18
- 18
- 18
- 18
- 18
- 17
- 17
- 17
- 17
|
GHOST: A Combinatorial Optimization Solver for RTS-related ProblemsIEEE Transactions on Computational Intelligence and AI in games, 2016, ⟨10.1109/TCIAIG.2016.2573199⟩
Journal articles
hal-01152231v2
|
||
Extending ATL for Native UML Profile Support: An Experience Report 49-623rd International Workshop on Model Transformation with ATL (MtATL-2011), Jul 2011, Zürich, Switzerland. pp.49-62
Conference papers
inria-00609024v1
|
|||
|
Bilingual Lexicon Extraction from Comparable Corpora Enhanced with Parallel Corpora4th Workshop on Building and Using Comparable Corpora: Comparable Corpora and the Web, Jun 2011, Portland, United States. pp.27-34
Conference papers
hal-00608475v1
|
||
|
Sélection d'une méthode de classification multi-label pour un système interactifExtraction et Gestion des Connaissances, Jan 2014, Rennes, France. pp.305-310
Conference papers
hal-00908610v1
|
||
|
Systematic evaluation of spliced alignment programs for RNA-seq data.Nature Methods, 2013, epub ahead of print. ⟨10.1038/nmeth.2722⟩
Journal articles
hal-00909047v1
|
||
|
On the Reification of Global ConstraintsConstraints, 2013, 18 (1), pp.1-6. ⟨10.1007/s10601-012-9132-0⟩
Journal articles
hal-00754252v1
|
||
Learning Structured Constraint Models: a First AttemptThe 22nd Irish Conference on Artificial Intelligence and Cognitive Science, AICS'11, 2011, Ulster, Ireland
Conference papers
hal-00754027v1
|
|||
Tracing Prolog programs by source instrumentation is efficient enoughJournal of Logic Programming, 2000
Journal articles
hal-00756827v1
|
|||
|
Computing Genomic Distances: An Algorihtmic ViewpointWiley Science. Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications, Wiley Science, pp.773-798, 2011, ⟨10.1002/9780470892107.ch34⟩
Book sections
hal-00606146v1
|
||
Sur les principes de base de l'ingénierie des modèles logicielsRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2004, 10 (4), pp.145-157
Journal articles
hal-00442703v1
|
|||
Validation d'une expertise textuelle par une méthode de classification basée sur l'intensité d'implicationRevue Quaderni di Ricerca in Didattica, 2005, 15, pp.157--162
Journal articles
hal-00442540v1
|
|||
Can we trace the phenomenon of compartmentalization by using the ISA ? An application for the concept of functionRevue Quaderni di Ricerca in Didattica, 2005, pp.175--186
Journal articles
hal-00442543v1
|
|||
Panorama du développement de l'A.S.I. à travers des situations fondatricesRevue Quaderni di Ricerca in Didattica, 2005, pp.9--33
Journal articles
hal-00442561v1
|
|||
Qualité d'un ensemble de régles : élimination des régles redondantesRevue des Nouvelles Technologies de l'Information, 2004, E (1), pp.141--168
Journal articles
hal-00442577v1
|
|||
Détection de faibles homologies de proteines par machines à vecteurs de supportRevue des Nouvelles Technologies de l'Information, 2004, C (1), pp.89--100
Journal articles
hal-00442580v1
|
|||
Visualisation en gestion des connaissances, développement d'un nouveau modèle graphique Graph'AtanorRevue des Nouvelles Technologies de l'Information, 2006, E (6), pp.311--322
Journal articles
hal-00442591v1
|
|||
|
Testing and Validation of Peer-to-peer SystemsSoftware Engineering [cs.SE]. Université de Nantes, 2009. English. ⟨NNT : ⟩
Theses
tel-00451521v1
|
||
|
Characterization of spatial networlike patterns from junction geometryPhysical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2011, pp.83, 066106. ⟨10.1103/PhysRevE.83.066106⟩
Journal articles
hal-00600665v1
|
||
L'analyse statistique implicative Méthode exploratoire et confirmatoire à la recherche de causalitésRégis Gras and Jean-Claude Régnier and Claudia Marinica and Fabrice Guillet. Cépaduès Editions, pp.522, 2013, 978.2.36493.056.8
Books
hal-00801452v1
|
|||
Megamodeling and Metamodel-Driven Engineering for Plastic User Interfaces: MEGA-UISeffah, Ahmed and Vanderdonckt, Jean and Desmarais, MichelC. Human-Centered Software Engineering, Springer London, pp.173-200, 2009, Human-Computer Interaction Series, 978-1-84800-906-6
Book sections
hal-00953104v1
|
|||
SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteursConférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
Conference papers
hal-01154240v1
|
|||
|
Replication in DHTs using Dynamic GroupsTransactions on Large-Scale Data- and Knowledge-Centered Systems, 2011, Part III - Special Issue on Data and Knowledge Management in Grid and P2P Systems, LNCS (6790), pp.1-19. ⟨10.1007/978-3-642-23074-5_1⟩
Journal articles
lirmm-00607915v1
|
||
|
Scalable P2P Reconciliation Infrastructure for Collaborative Text EditingDBKDA: Databases, Knowledge, and Data Applications, Apr 2010, Les Ménuires, France. pp.155-164, ⟨10.1109/DBKDA.2010.21⟩
Conference papers
lirmm-00607940v1
|
||
|
Apport des termes complexes à l'acquisition lexicale multilingue à partir de corpus comparables spécialisés : entre intuition et réalité7ème rencontres Terminologies et Intelligence Artificielle (TIA'07), Oct 2007, Sophia Antipolis, France. pp.11-20
Conference papers
hal-00474329v1
|
||
|
Découverte et caractérisation des corpus comparables spécialisésInterface homme-machine [cs.HC]. Université de Nantes, 2009. Français. ⟨NNT : ⟩
Theses
tel-00474405v1
|
||
|
SLA-aware virtual resource management for cloud infrastructures9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp.1-8
Conference papers
hal-00474722v1
|
||
Cross-Document Dependency Analysis for System-of-System Integration15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2008, France. pp.0
Conference papers
hal-00470429v1
|
|||
Complex update strategies for Probabilistic Boolean Networks7th Workshop on Computational Systems Biology, Jun 2010, Luxembourg, France. pp.4
Conference papers
hal-00480366v1
|
|||
A Data-Parallel Algorithm to Enforce Box ConsistencyConstraint Programming and Decision Making Workshop (CoProd 2008), Oct 2008, El Paso, TX, United States
Conference papers
hal-00480787v1
|
|||
Toward the Definition of the Loose Coupling Notion in a Composite Service2010 Second International Conference on Computer Engineering and Applications (ICCEA), Mar 2010, Indonesia. pp.339 - 343
Conference papers
hal-00486122v1
|