Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

A unified FPT Algorithm for Width of Partition Functions
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOME, Nicolas NISSE
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
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
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
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
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
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
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
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
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
On Fan Raspaud Conjecture
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
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
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
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
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
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
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
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
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
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
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
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
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
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
Special issue: Practical Aspects of High-Level Parallel Programming
Publié en 2007
Type de publication : Ouvrage ou 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

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