Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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

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