Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Combination of decomposability and propagation for solving first-order constraints in decomposable theories.
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Placement d'applications interactives sur des architectures distribuées hétérogènes à l'aide de la programmation par contraintes
Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN, Jeremie VAUTARD, Arnaud LALLOUET
Analyse exploratoire d'opinions cinématographiques : co-clustering de corpus textuels communautaires
Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Damien POIRIER, Cécile BOTHOREL, Marc BOULLÉ
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
A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM
On Fan Raspaud Conjecture
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Modeling Adversary Scheduling with QCSP+
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
Exact Algorithms for Treewidth and Minimum Fill-In
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Dieter KRATSCH, Yngve VILLANGER
Experience and Perspectives in QBF-Based Formal Verification
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marco BENEDETTI, Hratch MANGASSARIAN
Abstract geometrical computation with accumulations: Beyond the Blum, Shub and Smale model
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
Minimal proper interval completions
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Ivan RAPAPORT, Karol SUCHAN
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
Semantic Similarities and General-Specific Noun Relations from the web
Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT
An extended version of the k-means method for overlapping clustering
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
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 unified FPT Algorithm for Width of Partition Functions
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOME, Nicolas NISSE
Mapping General-Specific Noun Relationships to WordNet Hypernym/Hyponym Relations
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
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
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
Quantified Constraint Optimization
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
Fast Robber in Planar Graphs
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas NISSE, Karol SUCHAN
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract)
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent LYAUDET, Uffe FLARUP
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
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
Parallel LOD for static and dynamic generic geo-referenced data
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Sophie ROBERT, Simon ARVAUX, Joeffrey LEGAUX
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
Apprentissage de mesures de similarité sémantiques : étude d'une variante de la mesure InfoSimba
Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS
Grimage : une plate-forme d'interactions 3D sans marqueurs
Publié en 2008
Type de publication : Revue nationale sans comité de lecture
Auteur(s) : Bruno RAFFIN, Christian BLONZ
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
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
Unsupervised Learning of General-Specific Noun Relations from the Web
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
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
Feedback vertex set on AT-free graphs
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Dieter KRATSCH, Haiko MÜLLER
On $(P_5,\overline{P_5})$-sparse graphs and other families
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Special issue on High-Level Parallel Programming and Applications
Publié en 2008
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Alexander TISKIN
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
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
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
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

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