Search - Archive ouverte HAL Access content directly

Filter your results

3 259 Results
Structure: Internal structure identifier : 95421
Image document

GHOST: A Combinatorial Optimization Solver for RTS-related Problems

Florian Richoux , Alberto Uriarte , Jean-François Baffier
IEEE 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-62

Andrea Randak , Salvador Martínez , Manuel Wimmer
3rd International Workshop on Model Transformation with ATL (MtATL-2011), Jul 2011, Zürich, Switzerland. pp.49-62
Conference papers inria-00609024v1
Image document

Bilingual Lexicon Extraction from Comparable Corpora Enhanced with Parallel Corpora

Emmanuel Morin , Emmanuel Ep Prochasson
4th Workshop on Building and Using Comparable Corpora: Comparable Corpora and the Web, Jun 2011, Portland, United States. pp.27-34
Conference papers hal-00608475v1
Image document

Sélection d'une méthode de classification multi-label pour un système interactif

Noureddine-Yassine Nair-Benrekia , Pascale Kuntz , Frank Meyer
Extraction 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.

Non Renseigné , Tyler Alioto , Jonas Behr , Regina Bohnert , Davide Campagna , et al.
Nature Methods, 2013, epub ahead of print. ⟨10.1038/nmeth.2722⟩
Journal articles hal-00909047v1

On the Reification of Global Constraints

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Justin Pearson
Constraints, 2013, 18 (1), pp.1-6. ⟨10.1007/s10601-012-9132-0⟩
Journal articles hal-00754252v1

Learning Structured Constraint Models: a First Attempt

Nicolas Beldiceanu , Helmut Simonis
The 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 enough

Mireille Ducassé , Jacques Noyé
Journal of Logic Programming, 2000
Journal articles hal-00756827v1
Image document

Computing Genomic Distances: An Algorihtmic Viewpoint

Guillaume Fertin , Irena Rusu
Wiley 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 logiciels

Jean Bézivin
Revue 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'implication

Jérôme David , Fabrice Guillet , Vincent Philippé , Henri Briand , Régis Gras
Revue 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 function

Iliada Elia , Athanasios Gagatsis , Régis Gras
Revue 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 fondatrices

Régis Gras
Revue Quaderni di Ricerca in Didattica, 2005, pp.9--33
Journal articles hal-00442561v1

Qualité d'un ensemble de régles : élimination des régles redondantes

Rémi Lehn , Fabrice Guillet , Henri Briand
Revue 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 support

Jérôme Mikolajczak , Gérard Ramstein , Yannick Jacques
Revue 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'Atanor

Bruno Pinaud , Pascale Kuntz , Fabrice Guillet , Vincent Philippé
Revue des Nouvelles Technologies de l'Information, 2006, E (6), pp.311--322
Journal articles hal-00442591v1
Image document

Testing and Validation of Peer-to-peer Systems

Eduardo Cunha de Almeida
Software Engineering [cs.SE]. Université de Nantes, 2009. English. ⟨NNT : ⟩
Theses tel-00451521v1

Characterization of spatial networlike patterns from junction geometry

Andrea Perna , Pascale Kuntz , Stéphane Douady
Physical 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és

Régis Gras , Jean-Claude Régnier , Claudia Marinica , Fabrice Guillet
Ré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-UI

Jean-Sébastien Sottet , Gaelle Calvary , Jean-Marie Favre , Joelle Coutaz
Seffah, 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 capteurs

Alexandre Garnier , Jean-Marc Menaud , Rémy Pottier
Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
Conference papers hal-01154240v1
Image document

Replication in DHTs using Dynamic Groups

Reza Akbarinia , Mounir Tlili , Esther Pacitti , Patrick Valduriez , Alexandre A. B. Lima
Transactions 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
Image document

Scalable P2P Reconciliation Infrastructure for Collaborative Text Editing

Mounir Tlili , Reza Akbarinia , Esther Pacitti , Patrick Valduriez
DBKDA: Databases, Knowledge, and Data Applications, Apr 2010, Les Ménuires, France. pp.155-164, ⟨10.1109/DBKDA.2010.21⟩
Conference papers lirmm-00607940v1
Image document

Apport des termes complexes à l'acquisition lexicale multilingue à partir de corpus comparables spécialisés : entre intuition et réalité

Emmanuel Morin
7ème rencontres Terminologies et Intelligence Artificielle (TIA'07), Oct 2007, Sophia Antipolis, France. pp.11-20
Conference papers hal-00474329v1
Image document

Découverte et caractérisation des corpus comparables spécialisés

Lorraine Goeuriot
Interface homme-machine [cs.HC]. Université de Nantes, 2009. Français. ⟨NNT : ⟩
Theses tel-00474405v1
Image document

SLA-aware virtual resource management for cloud infrastructures

Hien Nguyen Van , Frederic Dang Tran , Jean-Marc Menaud
9th 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 Integration

Asad Syed Ali Naqvi , Ruzanna Chitchyan , Steffen Zschaler , Awais Rashid , Mario Südholt
15th 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 Networks

Théo Merle , Jérémie Bourdon
7th Workshop on Computational Systems Biology, Jun 2010, Luxembourg, France. pp.4
Conference papers hal-00480366v1

A Data-Parallel Algorithm to Enforce Box Consistency

Frédéric Goualard
Constraint 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 Service

Anthony Hock-Koon , Mourad Oussalah
2010 Second International Conference on Computer Engineering and Applications (ICCEA), Mar 2010, Indonesia. pp.339 - 343
Conference papers hal-00486122v1