Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

Explicit Query Diversification for Geographical Information Retrieval
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Davide BUSCALDI, Paolo ROSSO
Passage retrieval in legal texts
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Paolo ROSSO, Santiago CORREA, Davide BUSCALDI
Basics of pretopology
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Marcel BRISSAUD, Michel LAMURE, Jean-Jacques MILAN, Jean-Paul AURAY, Nicolas NICOLOYANNIS, Gérard DURU, Michel TERRENOIRE, Daniel TOUNISSOUX, Djamel Abdelkader ZIGHED, Stéphane BONNEVAY, Thanh Van LE, Marc BUI, Soufian BEN AMOR, Vincent LEVORATO, Nadia KABACHI
Jaeger's graphs and compatible linear partitions
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
A new bound for parsimonious edge-colouring of graphs with maximum degree three.
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Des textes communautaires à la recommandation
Publié en 2011
Type de publication : Thèse
Auteur(s) : Damien POIRIER
Toponym Disambiguation in Information Retrieval
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Davide BUSCALDI
A New Chaos-Based Cryptosystem for Secure Transmitted Images
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Awad ABIR
Apprentissage génératif de la structure de réseaux logiques de Markov à partir d'un graphe des prédicats
Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
8ème édition de l'atelier "Fouille de données complexes" : complexité liée aux données multiples
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Guillaume CLEUZIOU, Cyril DE RUNZ, Mustapha LEBBAH, Cédric WEMMERT
Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.
Publié en 2011
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Sophie ROBERT, Hélène COULLON, Audrey LATAPIE, Daniel PIERRE, Xavier THOMAS
Branch and Recharge: Exact Algorithms for Generalized Domination
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Petr A. GOLOVACH, Jan KRATOCHVIL, Dieter KRATSCH
Algorithmes Exponentiels Pour Des Problèmes D'Ordonnancement à Une Machine Et Machines Parallèles
Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Good Types are useful for Learning
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Daniela DUDAU-SOFRONIE
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Florent BECKER, Adrian KOSOWSKI, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
A Formal Programming Model of Orléans Skeleton Library
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Exact Algorithm for the Maximum Induced Planar Subgraph Problem
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Yngve VILLANGER
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML
Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Louis GESBERT
Clustering multi-vues : une approche centralisée
Publié en 2011
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Exponential-time algorithms for scheduling problems
Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Annoter ESLO1 par des cascades de transducteurs et par apprentissage automatique
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Iris ESHKOL-TARAVELLA, Denis MAUREL, Isabelle TELLIER, Nathalie FRIBURGER, Samer TAALAB
Rice's Theorem for µ-Limit Sets of Cellular Automata
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT
An exact algorithm for the Maximum Leaf Spanning Tree problem
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Daniel RAIBLE, Peter ROSSMANITH
Towards Finding Optimal Polytrees
Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS, Mikko KOIVISTO, Sebastian ORDYNIAK, Stefan SZEIDER
Adding a referee to an interconnection network: What can(not) be computed in one round.
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Martin MATAMALA, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Wadoud BOUSDIRA, Noman JAVED, Julien TESSON
Bulking II: Classifications of cellular automata
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Marianne DELORME, Jacques MAZOYER, Guillaume THEYSSIER
Parallel Programming and Performance Predictability with Orléans Skeleton Library
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
Informative Polythetic Hierarchical Ephemeral Clustering
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, David MACHADO
Reconstruire un graphe en une ronde
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Martin MATAMALA, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
Cologne-Twente Workshop on Graphs and Combinatorial Optimization CTW 2011
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Villa MONDRAGONE, Ludovica ADACHER, Marta FLAMINI, Gianmaria LEO, Gaia NICOSIA, Andrea PACIFICI, Veronica PICCIALLI
Breaking the $2^n$-barrier for Irredundance: Two lines of attack
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Daniel BINKELE-RAIBLE, Ljiljana BRANKOVIC, Marek CYGAN, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Marcin PILIPCZUK, Peter ROSSMANITH, Jakub Onufry WOJTASZCZYK
Functional Term Rewriting Systems towards Symbolic Model-Checking
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Duy Tung NGUYEN
Bulking I: an Abstract Theory of Bulking
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Marianne DELORME, Jacques MAZOYER, Guillaume THEYSSIER
On minimum (Kq; k) stable graphs
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
An exact algorithm for connected red-blue dominating set
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Faisal ABU-KHZAM, Amer MOUAWAD
Abstract geometrical computation 4: small Turing universal signal machines
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
From Manual Cyber Attacks Forensic to Automatic Characterization of Attackers' Profiles J. Briffaut, P. Clemente, J.-F. Lalande, J. Rouzaud-Cornabas
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
Champs Markoviens Conditionnels pour l'extraction d'information
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Marc TOMMASI
Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
Abstract geometrical computation 5: embedding computable analysis
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Sort & Search Exponential-Time Algorithms for Scheduling Problems,
Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Acquisition de structures lexico-sémantiques à partir de textes : un nouveau cadre de travail fondé sur une structuration prétopologique
Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Vincent LEVORATO
Security and Virtualization: a Survey
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
Int. J. Unconventional Computing, 7(4), Special issue on New Worlds of Computation (NWC '09)
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
Exact Algorithms for L(2,1)-Labeling of Graphs
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Frédéric HAVET, Martin KLAZAR, Jan KRATOCHVIL, Dieter KRATSCH
On Fulkerson conjecture
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Heuristic Method for Discriminative Structure Learning of Markov Logic Networks
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
Information Digestion
Publié en 2010
Type de publication : HDR
Auteur(s) : Gaël DIAS

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