Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

Coherence and Performance for Interactive Scientific Visualisation Applications

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
Intégrer des connaissances linguistiques dans un CRF : application à l'apprentissage d'un segmenteur-étiqueteur du français

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Sylvie BILLOT, Mathieu CONSTANT, Isabelle TELLIER, Yoann DUPONT, Anthony SIGOGNE
Controlling an iteration-wise coherence in dataflow

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
Complexity of Splits Reconstruction for Low-Degree Trees

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS, Maya Jakobine STEIN, Karol SUCHAN
Branching Processes of General Petri Nets

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD, Pascal WEIL
Clustering semi-supervisé : intégration de contraintes utilisateur dans le processus de découverte de classes

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Jacques-Henri SUBLEMONTIER
Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
Tutorial on Cellular Automata

Publié en 2011
Type de publication : Conférence donnée sur invitation
Auteur(s) : Nicolas OLLINGER
A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation

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, Julien TESSON
Procedia Computer Science
Geometrical accumulations and computably enumerable real numbers (extended abstract)

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Modeling Groups in Social Networks

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO
Solving Q-SAT in bounded space and time by geometrical computation

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Jérôme DURAND-LOSE, Maxime SENOT
Parallel Computing Flow Accumulation in Large Digital Elevation Models

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hiep-Thuan DO
La géo-simulation, outil de prédiction de phénomènes socio-économiques Le cas de l’Egypte

Publié en 2011
Type de publication : Conférence donnée sur invitation
Auteur(s) : Hala BAYOUMI, Marie-Françoise COUREL, Vincent LEVORATO
Computing with signals: a generic and modular signal machine for satisfiability problems

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Denys DUCHIER, Jérôme DURAND-LOSE, Maxime SENOT
Fast Exact Algorithm for L(2,1)-Labeling of Graphs

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Konstanty JUNOSZA-SZANIAWSKI, Jan KRATOCHVIL, Peter ROSSMANITH, Pawel RZAZEWSKI
Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
PIGA-OS : retour sur le système d'exploitation vainqueur du défi sécurité

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Martin PERES, Jonathan ROUZAUD-CORNABAS, Jigar SOLANKI, Benjamin VENELLE
Machines à signaux: origine, puissance, retour au raisonnable

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE, Maxime SENOT, Vincent LEVORATO
PIGA-OS : Retour sur le Système d'Exploitation Vainqueur du Défi Sécurité

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Martin PERES, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE, Jigar SOLANKI
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 : 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
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
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
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
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
List Coloring in the Absence of a Linear Forest

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
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
Champs Markoviens Conditionnels pour l'extraction d'information

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Marc TOMMASI
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
On Fulkerson conjecture

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
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
Security and Virtualization: a Survey

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
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
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
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
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
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
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
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
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
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

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