Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Extension au premier ordre de l'unification des termes par CHR

Publié en 2007
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, Thom FRUEHWIRTH
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pierre DERANSART, Mireille DUCASSÉ, Gérard FERRAND
Quantification restreinte : vers une utilisation pratique des QCSP

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Corrélation d'événements et d'alarmes pour la détection d'intrusions dans les systèmes réparties

Publié en 2007
Type de publication : Autres Publications
Auteur(s) : Jonathan ROUZAUD-CORNABAS
Multiple networks for heterogeneous distributed applications.

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN
Towards a resource-safe Erlang

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : David TELLER
Secured Architecture for Remote Virtual Desktops

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jonathan ROUZAUD-CORNABAS, Nicolas VIOT
Intruders with Caps

Publié en 2007
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
Complexity of a CHR solver for existentially quantified conjunctions of equations over trees.

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, Thom FRUEHWIRTH
Solving First-Order Constraints in the Theory of the Evaluated Trees

Publié en 2007
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
An Optimal Evaluation of GroupBy-Join Queries in Distributed Architectures

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Characterizing Minimal Interval Completions

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Karol SUCHAN, Yngve VILLANGER, Pinar HEGGERNES
QCSP Made Practical by Virtue of Restricted Quantification

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jérémie VAUTARD
QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB, Cyril NORTET
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
Special issue: Practical Aspects of High-Level Parallel Programming

Publié en 2007
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Anne BENOIT
Toward a first-order extension of Prolog's unification using CHR

Publié en 2007
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, Thom FRUEHWIRTH
Recherche de dimensions caractéristiques pour la classification et la visualisation

Publié en 2007
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN
Machines, Computations and Universality (MCU '07)

Publié en 2007
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Maurice MARGENSTERN
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
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
NOMAGE: Coding the Semantic Features of French Nominalizations

Publié en 2007
Type de publication : Communications sans actes
Auteur(s) : Antonio BALVET, Stefan EVERT, Pauline HAAS, Richard HUYGHE, Rafael MARIN, Louise MCNALLY, Isabelle TELLIER
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
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
On the Discovery of Exception Rules: A Survey

Publié en 2007
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Béatrice DUVAL, Ansaf SALLEB
ST-serie decomposition of orders

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jimmy LEBLET, Jean-Xavier RAMPON
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
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
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, Olga KOUCHNARENKO
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
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
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
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

Publié en 2007
Type de publication : Autres Publications
Auteur(s) : Pierre DERANSART, Mireille DUCASSÉ, Gérard FERRAND
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 bipartite graphs with weak density of some subgraphs

Publié en 2007
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Special issue on Semantics and Cost Models for High-Level Parallel Programming

Publié en 2007
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE
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
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
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
Minimal Interval Completion Through Graph Exploration

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Karol SUCHAN
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
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
Décompositions arborescentes de graphes : calcul, approximations, heuristiques

Publié en 2006
Type de publication : HDR
Auteur(s) : Ioan TODINCA
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

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