Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases
Publié en 2007
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB
Recherche de dimensions caractéristiques pour la classification et la visualisation
Publié en 2007
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN
OKM : une extension des k-moyennes pour la recherche de classes recouvrantes
Publié en 2007
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Classification recouvrante avec pondération locale des attributs
Publié en 2007
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
Publié en 2007
Type de publication : Autres Publications
Auteur(s) : Pierre DERANSART, Mireille DUCASSÉ, Gérard FERRAND
Sécurité des systèmes d'exploitation répartis : architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire.
Publié en 2006
Type de publication : Thèse
Auteur(s) : Mathieu BLANC
Automata for Analyzing and Querying Compressed Documents
Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
Complétions d'intervalles minimales
Publié en 2006
Type de publication : Thèse
Auteur(s) : Karol SUCHAN
Construction de Solveurs, Apprentissage de Contraintes, et Résolution de Contraintes Quantifiées
Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Arnaud LALLOUET
Décompositions arborescentes de graphes : calcul, approximations, heuristiques
Publié en 2006
Type de publication : HDR
Auteur(s) : Ioan TODINCA
Comparative study of invariant descriptors for face recognition
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Baptiste HEMERY, Christophe ROSENBERGER, Bruno EMILE
Testing Intrusion Detection Systems: An Engineered Approach
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
Automata for Positive Core XPath Queries on Compressed Documents
Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Barbara FILA
Classes Particulières de Graphes : Aspects Structurels et Algorithmiques
Publié en 2006
Type de publication : Autres Publications
Auteur(s) : Soumia ZITI
Eye/gaze tracking in web, image and video documents
Publié en 2006
Type de publication : Communications sans actes
Auteur(s) : Chaabane DJERABA, Stanislas LEW, Dan A. SIMOVICI, Sylvain MONGY, Nacim IHADDADENE
Bulk Synchronous Parallel ML avec exceptions
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, Frédéric DABROWSKI, Louis GESBERT, Frédéric GAVA
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
Ragionamento per Vincoli Quantificati
Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Marco BENEDETTI
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
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
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
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
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
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
Basic rewriting via logic programming, with an application to the reachability problem
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Gernot SALZER
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
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
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
Sensitive Data Anonymization
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE
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
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
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
Partially Defined Constraints in Constraint-based Design
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
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
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
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
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
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
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
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

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