Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

Special issue on Semantics and Cost Models for High-Level Parallel Programming

Publié en 2007
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE
Overlapping Clustering with OKM

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
On the Discovery of Exception Rules: A Survey

Publié en 2007
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Béatrice DUVAL, Ansaf SALLEB
Biology Based Alignments of Paraphrases for Sentence Compression

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, João-Paolo CORDEIRO, Gaël DIAS
Anatomy of a Scheduling Competition

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Federico PECORA, Nicola POLICELLA
Classification recouvrante avec pondération locale des attributs

Publié en 2007
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases

Publié en 2007
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB
On powers of graphs of bounded NLC-width (clique-width)

Publié en 2007
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Karol SUCHAN
On the impact of Lexical and Linguistic features in Genre and Domain-Based Text Categorization

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Céline POUDAT
A Performance-Driven QBF-based ILA Representation with Applications to Verification, Debug and Test

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Hratch MANGASSARIAN, Andreas VENERIS, Sean SAFARPOUR, Marco BENEDETTI, Duncan SMITH
A unified sematics for CHR in transaction logic.

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL, Marc MEISTER, Jacques ROBIN
Fault Diagnosis using Quantified Boolean Formulas

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Hratch MANGASSARIAN, Andreas VENERIS, Marco BENEDETTI
OKM : une extension des k-moyennes pour la recherche de classes recouvrantes

Publié en 2007
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
On normal odd partitions in cubic graphs

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Building Consistencies For Partially Defined Constraints With Decision Trees And Neural Networks

Publié en 2007
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
Sécurité des systèmes d'exploitation répartis : architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire.

Publié en 2006
Type de publication : Thèse
Auteur(s) : Mathieu BLANC
Automata for Analyzing and Querying Compressed Documents

Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
Complétions d'intervalles minimales

Publié en 2006
Type de publication : Thèse
Auteur(s) : Karol SUCHAN
Décompositions arborescentes de graphes : calcul, approximations, heuristiques

Publié en 2006
Type de publication : HDR
Auteur(s) : Ioan TODINCA
Construction de Solveurs, Apprentissage de Contraintes, et Résolution de Contraintes Quantifiées

Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Arnaud LALLOUET
Comparative study of invariant descriptors for face recognition

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Baptiste HEMERY, Christophe ROSENBERGER, Bruno EMILE
Testing Intrusion Detection Systems: An Engineered Approach

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mohammed GAD EL RAB, Anas ABOU EL KALAM
Automata for Positive Core XPath Queries on Compressed Documents

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
Classes Particulières de Graphes : Aspects Structurels et Algorithmiques

Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Soumia ZITI
Eye/gaze tracking in web, image and video documents

Publié en 2006
Type de publication : Communications sans actes
Auteur(s) : Chaabane DJERABA, Stanislas LEW, Dan A. SIMOVICI, Sylvain MONGY, Nacim IHADDADENE
Bulk Synchronous Parallel ML avec exceptions

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric DABROWSKI, Louis GESBERT, Frédéric GAVA
Constructive tree recovery using genetic algorithms

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Pierre-Alain FAYOLLE, A. PASKO, N. MIRENKOV, Christophe ROSENBERGER
Running Tree Automata on Trees and/or Dags

Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
Structuring natural language data by learning rewriting rules

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Christel VRAIN, Lionel MARTIN
Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politique

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
Reversible conservative rational abstract geometrical computation is Turing-universal

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Lecture Notes in Computer Science
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI, Frédéric GAVA, Dimitri LOUIS-REGIS
Distributed control enabling consistent MAC policies and IDS based on a meta-policy approach

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
Monitoring high performance networks in large-scale clusters

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Fabrice GADAUD
Collaboration between MAC policies and IDS based on a meta-policy approach

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
A Calculus of Functional BSP Programs with Projection

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE
Shape modeling with genetic programming

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Pierre-Alain FAYOLLE, Sara SILVA, G. LATINIER, D. SAFFREY, Christophe ROSENBERGER
Une mesure de proximité et une méthode de regroupement pour l'aide à l'acquisition d'ontologies spécialisées

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sylvie BILLOT, Christel VRAIN, Stanislas LEW, Lionel MARTIN
Explanations and Proof Trees

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
Classification avec recouvrement des classes : une extension des k-moyennes

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Resolution de contraintes du premier ordre dans des théories dites décomposables.

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Visualisation 3D de paramètres d'apprentissage et de distances

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN
Ragionamento per Vincoli Quantificati

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Marco BENEDETTI
Visualisation musicale d'un CSP

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémie VAUTARD, Arnaud LALLOUET
Journal of Automata, Languages and Combinatorics, Vol. 11(1)

Publié en 2006
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Siva ANANTHARAMAN, Gaétan HAINS, Michael RUSINOWITCH, Paul GASTIN, John MULLINS
Complétude des extensions en arbres de théories

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL, Thi-bich-hanh DIEP-DAO
From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
Deciding Satisfiability of Positive Second Order Joinability Formulae

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre PILLOT
Minimally Synchronous Parallel ML with Parallel Composition

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI
Résolution de contraintes du premier ordre dans la théorie des arbres évalués

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Khalil DJELLOUL

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations