Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

Etude comparative de deux approches de classification recouvrante : Moc vs. Okm

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Jacques-Henri SUBLEMONTIER
Minimal proper interval completions

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Ivan RAPAPORT, Karol SUCHAN
Classification de textes en domaines et en genres en combinant morphosyntaxe et lexique

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Céline POUDAT
On Fan Raspaud Conjecture

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Parallel Processing of Group-By Join Queries on Shared Nothing Machines

Publié en 2008
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
A Proposal for Multilevel Constraint Programming

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
A unified FPT Algorithm for Width of Partition Functions

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOMÉ, Nicolas NISSE
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
A Comparison between Two Statistical Relational Models

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Lorenza SAITTA
Black hole computation: implementation with signal machines

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Theory of Finite or Infinite Trees Revisited

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL, Thi-bich-hanh DIEP-DAO, Thom FRUEHWIRTH
Voleur véloce dans un réseau planaire

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Nicolas NISSE, Karol SUCHAN
Approximation based tree regular model checking

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, Olga KOUCHNARENKO
Fully Unsupervised Graph-Based Discovery of General-Specific Noun Relationships from Web Corpora Frequency Counts

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
Conditional Random Fields for XML Applications

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Rémi GILLERON, Florent JOUSSE, Marc TOMMASI, Isabelle TELLIER
Reconstruction 3D d'objets par une representation fonctionnelle

Publié en 2007
Type de publication : Thèse
Auteur(s) : Pierre-Alain FAYOLLE
Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées

Publié en 2007
Type de publication : Thèse
Auteur(s) : Sylvain JUBERTIE
Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions

Publié en 2007
Type de publication : Thèse
Auteur(s) : Jérémy BRIFFAUT
Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

Publié en 2007
Type de publication : Thèse
Auteur(s) : Pierre PILLOT
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Louis GESBERT
Visibly Pushdown Languages and Term Rewriting

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Pierre RETY
Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Julien TESSON
Divide-and-Conquer Programming with Minimally Synchronous Parallel ML

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI
Analyzing Web Traffic: A Boundaries Signature Approach

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT
Performance Prediction for Mappings of Distributed Applications on PC Clusters.

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
Access Control for Collaborative Systems: A Web Services Based Approach

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE, Amine BAÏNA, Mohamed KAÂNICHE
Pathwidth of Circular-Arc Graphs

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
Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model

Publié en 2007
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
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
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
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
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
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
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
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
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

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