Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Generative structure learning for 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
Discrete Signal Machine via Pretopology - one step from signal machines to cellular automata

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Maxime SENOT
Property Grammar Parsing Seen as a Constraint Optimization Problem

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-Bich-Hanh DIEP-DAO, Willy LESAINT, Yannick PARMENTIER
Protection of a Shared HPC Cluster

Publié en 2010
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, Thibault COULLET, Maxime FONDA
Abstracting Markov Networks

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Lorenza SAITTA
Mandatory access control for shared HPC clusters: setup and performance evaluation

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu BLANC, Jean-François LALANDE
Parallel Computing of Catchment Basin of Rivers in Large Digital Elevation Model

Publié en 2010
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
Variante à noyaux pour la classification multi-vues non supervisée

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Learning discriminant rules as a minimal saturation search

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Matthieu LOPEZ, Lionel MARTIN
Attack model for verification of interval security properties for smart card C codes

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
Une modélisation en CSP des grammaires de propriétés

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-Bich-Hanh DIEP-DAO, Willy LESAINT, Yannick PARMENTIER
Problèmes d'apprentissage de contraintes

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Matthieu LOPEZ, Lionel MARTIN
An $O(n^2)$-time Algorithm for the Minimal Interval Completion Problem

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Christophe CRESPELLE
The coordinates of isolated accumulations are exactly computable real numbers

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jérôme DURAND-LOSE
Etiqueter un corpus oral par apprentissage automatique à l'aide de connaissances linguistiques

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvie BILLOT, Iris ESHKOL, Isabelle TELLIER, Samer TAALAB
Modeling the Complex Dynamics of Distributed Communities of the Web with Pretopology

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Marc BUI
A reversible and conservative model based on rational signal machines for Black hole computation

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jérôme DURAND-LOSE
A Parameterized Route to Exact Puzzles: Breaking the $2^n$-barrier for irredundancy

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ljiljana BRANKOVIC, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Daniel RAIBLE, Peter ROSSMANITH
A Dynamic End-to-End Security for Coordinating Multiple Protections within a Linux Desktop

Publié en 2010
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
Towards Text-Based Recommendations

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Damien POIRIER, Isabelle TELLIER, Françoise FESSANT, Julien SCHLUTH
QCSP non bloquants : un cas spécial de problèmes quantifiés

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Jérémie VAUTARD
Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées

Publié en 2010
Type de publication : Thèse
Auteur(s) : Jérémie VAUTARD
Toward distant interactive VR Visualization of Large Parallel Simulations

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Sophie ROBERT, Simon ARVAUX
Cap Unification: Application to Protocol Security modulo Homomorphic Encryption

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Hai LIN, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Semi-join Computation on Distributed File Systems Using Map-Reduce-Merge Model

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
La Classification d'Opinion comme préambule à la Recommandation Automatique de Contenus

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Damien POIRIER
A Scalable Parallel Algorithm for Join Queries Evaluation on Heterogeneous Distributed Systems

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Bulk Synchronous Parallel ML with Exceptions

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric DABROWSKI, Louis GESBERT, Frédéric GAVA
Seidel complementation on ($P_5$, $House$, $Bull$)-free graphs

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
POS-tagging for Oral Texts with CRF and Category Decomposition

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Isabelle TELLIER, Iris ESHKOL, Samer TAALAB, Jean-Philippe PROST
Systematic Development of Functional Bulk Synchronous Parallel Programs

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Zhenjiang HU, Kiminori MATSUZAKI, Louis GESBERT
Iterative Compression and Exact Algorithms

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Serge GASPERS, Dieter KRATSCH, Saket SAURABH
Complexité d'algorithmes exponentiels : application au domaine de l'ordonnancement

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Emmanuel NERON, Ameur SOUKHAL, Vincent T'KINDT
CoFKM : un modèle de clustering flou collaboratif pour les données multi-représentées

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jacques-Henri SUBLEMONTIER
Real-Time Monitoring of Ocaml programs

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain CONCHON, Jean-Christophe FILLIÂTRE, Fabrice LE FESSANT, Julien ROBERT, Guillaume VON TOKARSKI
PretopoLib: la librairie JAVA de la Prétopologie

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Vincent LEVORATO, Soufian BEN AMOR
Apprentissage de spécifications de CSP

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu LOPEZ, Lionel MARTIN
Intégration interactive de contraintes pour la réduction de dimensions et la visualisation

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
Une méthode mixte d'analyse d'un réseau social: classification prétopologique et centralité d'intermédiarité

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Vincent LEVORATO
Intégration interactive de connaissances pour la visualisation de données dans un cadre semi-supervisé

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
An integrity security property based on information flows : Application to the enforcement of a classical operating system

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
Les grammaires à concaténation d'intervalles : un formalisme pivot pour l'analyse syntaxique ?

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Yannick PARMENTIER
Construction géométrique pour résoudre SAT en temps constant

Publié en 2010
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
Program Calculation in Coq

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Hideki HASHIMOTO, Zhenjiang HU, Masato TAKEICHI
Minimal Extensions of Tree Languages: Application to XML Schema Evolution

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
Mácajová and \v{S}koviera Conjecture on Cubic Graphs.

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Frédéric GAVA, Louis GESBERT, Guillaume PETIOT
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laurent LYAUDET, Uffe FLARUP
Sensitivity analysis on the all pairs q-route flows in a network

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOME, Madiagne DIALLO, Serigne GUEYE
TuLiPA - Parsing Extensions of TAG with Range Concatenation Grammars

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laura KALLMEYER, Wolfgang MAIER, Yannick PARMENTIER, Johannes DELLERT

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