Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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É
A unified FPT Algorithm for Width of Partition Functions

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOMÉ, Nicolas NISSE
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
Parallel Processing of Group-By Join Queries on Shared Nothing Machines

Publié en 2008
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
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
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 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
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
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
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
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
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
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
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
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
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
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
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
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
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
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
Special issue on High-Level Parallel Programming and Applications

Publié en 2008
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Alexander TISKIN
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
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
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
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
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
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
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
On Fan Raspaud Conjecture

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
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
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
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
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
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
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
Intruders with Caps

Publié en 2007
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michael RUSINOWITCH
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