Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

An adaptive secure multicast system supporting mobile working

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Mathieu BLANC, Mahery ANDRIAMBOLOLONA, Lionel BARTHE, Bruno DOOLAEGHE, Michaël HERVIEUX, Khalid KADRI HASSANI, Pascal LEFEUVRE, Thomas MEURISSE
Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Alain COLMERAUER
Structure and stability number of chair, co-Pand gem-free graphs revisited

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : A. BRANDSTÄDT, H.O. LE, Jean-Marie VANHERPE
Pipelining a Skew-Insensitive Parallel Join Algorithm

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mostafa BAMHA, Matthieu EXBRAYAT
Fast Deployment of a Commodity VR Cluster

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Souley MADOUGOU, Jacques VAIRON
Softgenlock: active stereo and genlock for pc cluster

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Jérémie ALLARD, Valérie GOURANTON, Guy LAMARQUE, Bruno RAFFIN
Coloring Powers of Graphs of Bounded Clique-Width

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA
Correctness of Constraint Retraction Algorithms

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Romuald DEBRUYNE, Gérard FERRAND, Narendra JUSSIEN, Samir OUIS, Alexandre TESSIER
Learning Approximate Consistencies

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, AbdelAli ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
Secure replication limiting passive and active attacks

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Mahery ANDRIAMBOLOLONA, Mathieu BLANC, Lionel BARTHE, Bruno DOOLAEGHE, Michaël HERVIEUX, Khalid KADRI HASSANI, Pascal LEFEUVRE, Thomas MEURISSE
Apprentissage de solveurs de contraintes sur les domaines finis

Publié en 2003
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, AbdelAli ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
Language, Definition and Optimal Computation of CSP Approximations

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, AbdelAli ED-DBALI, Arnaud LALLOUET
ACID-Unification is NEXPTIME-Decidable

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
Linear Time Recognition and Optimization for Weak-Bisplit Graphs, Bi-Cographs and Bipartite ${P_6}$-free Graphs

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
Some optimization problems on weak-bisplit graphs

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Marie VANHERPE
Feedback Vertex Set and Longest Induced Path on AT-Free Graphs

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Dieter KRATSCH, Haiko MÜLLER
Disjunctive Learning with a Soft-Clustering Method

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Christel VRAIN, Lionel MARTIN
Towards declarative diagnosis of constraint programs over finite domains

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
Genre and Domain Processing in an Information Retrieval Perspective

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Céline POUDAT
Book Review on: Implicit parallel programming in pH, by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001

Publié en 2003
Type de publication : Autres Publications
Auteur(s) : Gaétan HAINS
Unification modulo ACUI plus Homomorphisms/Distributivity

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
Manipulating tree tuple languages by transforming logic programs

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Gernot SALZER
Apprentissage de Règles Caractéristiques

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Teddy TURMEAUX, Daniel CASSARD, Ansaf SALLEB
Intermediate (Learned) Consistencies

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, AbdelAli ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
Pipelined parallelism for multi-join queries on shared nothing machines

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Matthieu EXBRAYAT
Chordal embeddings of planar graphs

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Vincent BOUCHITTÉ, Frédéric MAZOIT
Learning Characteristic Rules Relying on Quantified Paths.

Publié en 2003
Type de publication : Autres Publications
Auteur(s) : Christel VRAIN, Teddy TURMEAUX, Ansaf SALLEB, Daniel CASSARD
Finite Domain Constraint Solver Learning

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, AbdelAli ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
Une méthode de regroupement de mots fondée sur la recherche de cliques dans un graphe de cooccurrences

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Viviane CLAVIER, Lionel MARTIN
Distributed multigrid algorithms for interactive scientific simulations on clusters

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Sophie ROBERT, Ronan GAUGNE
Learning Characteristic Rules Relying on Quantified Paths

Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Teddy TURMEAUX, Ansaf SALLEB, Daniel CASSARD
Approximating the treewidth of AT-free graphs

Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Vincent BOUCHITTÉ
Collaborative Simulation by Reuse of COTS Simulators with a Reflexive XML Middleware

Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Mathieu BLANC, Fabien COSTANTINI, Sébastien DUBOIS, Manuel FORGET, Olivier FRANCILLON
Un outil d'aide à la décision publique pour l'agriculture dans la Caraïbe, MICA (Modèle Intégré pour les Agricultures Caraïbéennes)

Publié en 2002
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jean-Louis DIMAN, Françoise GERARD, Jean-Luc PAUL, Marie-Françoise ZÉBUS, François CAUSERET, Stephanie JOCK, Estelle DARIE
Caribbean Food Crops Society Proceedings
Autour de la décomposition modulaire des graphes bipartis

Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Marie VANHERPE
NetJuggler, Running VrJuggler with Multiple Displays on a Commodity Component Cluster

Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Jérémie ALLARD, Valérie GOURANTON, Loick LECOINTRE, Bruno RAFFIN
Value Withdrawal Explanations: a Theoretical Tool for Programming Environments

Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT
Indexical-Based Solver Learning

Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Arnaud LALLOUET, Andrei LEGTCHENKO, Lionel MARTIN
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction

Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
A symbolic cost model for asynchronous parallel programs with structured dependences

Publié en 2002
Type de publication : Autres Publications
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
Parallelizing pre-rendering computations on a net juggler PC cluster

Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Jérémie ALLARD, Valérie GOURANTON, Bruno RAFFIN
Treewidth of planar graphs: connections with duality

Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Vincent BOUCHITTÉ, Frédéric MAZOIT
On a cograph's recognition algorithm, possible generalizatins

Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Marie VANHERPE
On minimal cutsets in P5-free minimal imperfect graphs

Publié en 2001
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent BARRÉ, Jean-Luc FOUQUET
Synchronized tree language revisited and new applications

Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pierre RETY, Valérie GOURANTON, Helmut SEIDL
Treewidth and Minimum Fill-in: Grouping the Minimal Separators

Publié en 2001
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Vincent BOUCHITTÉ
Weakly Regular Relations and Applications

Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre RETY, Helmut SEIDL
Comparing the Communication Performance and Scalability of a Linux and an NT Cluster of PCs, a SGI Origin 2000, an IBM SP and a Cray T3E-600

Publié en 2000
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Glenn R. LUECKE, Bruno RAFFIN, James J. COYLE
Clique Width of partenr limited graphs

Publié en 2000
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Marie VANHERPE
Value Withdrawal Explanation in CSP

Publié en 2000
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Gerard FERRAND, Alexandre TESSIER

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