Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Bulk Synchronous Parallel ML with Exceptions
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric DABROWSKI, Louis GESBERT, Frédéric GAVA
On isomorphic linear partitions in cubic graphs
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Constructive tree recovery using genetic algorithms
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Pierre-Alain FAYOLLE, A. PASKO, N. MIRENKOV, Christophe ROSENBERGER
Running Tree Automata on Trees and/or Dags
Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
Structuring natural language data by learning rewriting rules
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Christel VRAIN, Lionel MARTIN
Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politique
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
Reversible conservative rational abstract geometrical computation is Turing-universal
Publié en 2006
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
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI, Frédéric GAVA, Dimitri LOUIS-REGIS
Distributed control enabling consistent MAC policies and IDS based on a meta-policy approach
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
Monitoring high performance networks in large-scale clusters
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Fabrice GADAUD
Collaboration between MAC policies and IDS based on a meta-policy approach
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
A Calculus of Functional BSP Programs with Projection
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE
Shape modeling with genetic programming
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Pierre-Alain FAYOLLE, Sara SILVA, G. LATINIER, D. SAFFREY, Christophe ROSENBERGER
From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
Partially Defined Constraints in Constraint-based Design
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
Evaluation des systèmes de détection d'intrusions
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mohammed GAD EL RAB, Anas ABOU EL KALAM
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees
Publié en 2006
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
A Multi-Agent and Multi-Level Architecture to Secure Distributed Systems
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Mohammed GAD EL RAB
Reusing CSP propagators for QCSPs
Publié en 2006
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
Extension into trees of first order theories
Publié en 2006
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
Extraire des Certificats des Formules Booléennes Quantifiées
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI
Abstract geometrical computation 1: embedding Black hole computations with rational numbers
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Explanations and Proof Trees
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
Extracting a Consistency Operator from a Constraint Satisfiability Function and Application to Partially Defined Constraints
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
Calcul et visualisation d'une distance inter-enluminures à partir des couleurs
Publié en 2006
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN
Auralization of a Constraint Solver
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Jérémie VAUTARD
A proximity measure and a clustering method for concept extraction in an ontology building perspective
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sylvie BILLOT, Christel VRAIN, Stanislas LEW, Lionel MARTIN
Chain Dominated Orders
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Glen-Brug GUENVER, Jimmy LEBLET, Jean-Xavier RAMPON
Tree tuple languages from the logic programming point of view
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Gernot SALZER
Politique de contrôle d'accès et détection d'intrusion basée sur une approche de méta-politique
Publié en 2006
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
Classification avec recouvrement des classes : une extension des k-moyennes
Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Resolution de contraintes du premier ordre dans des théories dites décomposables.
Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Khalil DJELLOUL
A Collaborative Approach for Access Control, Intrusion Detection and Security Testing
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Mohammed GAD EL RAB
Forcasting Black Holes in Abstract geometrical computation is Highly Unpredictable
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Automatic Knowledge Representation using a Graph-based Algorithm for Language-Independent Lexical Chaining
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Claudia SANTOS
Une mesure de proximité et une méthode de regroupement pour l'aide à l'acquisition d'ontologies spécialisées
Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sylvie BILLOT, Christel VRAIN, Stanislas LEW, Lionel MARTIN
Visualisation 3D de paramètres d'apprentissage et de distances
Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN
Deciding Satisfiability of Positive Second Order Joinability Formulae
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre PILLOT
Abstract Branching for Quantified Formulas
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI
Une nouvelle méthodologie pour l'évaluation des Systémes de Détection d'Intrusions
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mohammed GAD EL RAB, Anas ABOU EL KALAM
Synchronized ContextFree Tree-tuple Languages
Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Pierre RETY, Jing CHEN
Résolution de contraintes du premier ordre dans la théorie des arbres évalués
Publié en 2006
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
Complétude des extensions en arbres de théories
Publié en 2006
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
Catégorisation de textes en domaines et genres : complémentarité des indexations lexicale et morphosyntaxique
Publié en 2006
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Céline POUDAT, Viviane CLAVIER
Journal of Automata, Languages and Combinatorics, Vol. 11(1)
Publié en 2006
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Siva ANANTHARAMAN, Gaétan HAINS, Michael RUSINOWITCH, Paul GASTIN, John MULLINS
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories
Publié en 2006
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
Composition parallèle pour MSPML
Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI
Multi-OrBAC: un modèle de contrôle d'accès pour les systèmes multi-organisationnels”
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE
Minimally Synchronous Parallel ML with Parallel Composition
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI
Visualisation musicale d'un CSP
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémie VAUTARD, Arnaud LALLOUET

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