Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Prise en compte de connaissances pour la visualisation par l'intégration interactive de contraintes

Publié en 2010
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
On Learning Constraint Problems

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Arnaud LALLOUET, Matthieu LOPEZ, Lionel MARTIN
A 3D Data Intensive Tele-immersive Grid

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Benjamin PETIT, Thomas DUPEUX, Benoît BOSSAVIT, Joeffrey LEGAUX, Bruno RAFFIN, Jean-Sébastien FRANCO, Ingo ASSENMACHER, Edmond BOYER
Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés

Publié en 2010
Type de publication : Thèse
Auteur(s) : Duy-Tùng NGUYÊN
On $(K_{q},k)$ stable graphs with minimum size-Abstract

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec 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 : Autres Publications
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
Minimal tree language extensions: a keystone of XML type compatibility and evolution

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
Reducing the Cold-Start Problem in Content Recommendation Through Opinion Classification

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Damien POIRIER, Françoise FESSANT, Isabelle TELLIER
A Distributed and Collaborative Dynamic Load Balancer for Virtual Machine

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jonathan ROUZAUD-CORNABAS
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
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, Yannick PARMENTIER, Willy LESAINT
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
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
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
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
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 BERTHOMÉ, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
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
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, Yannick PARMENTIER, Willy LESAINT
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
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
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
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
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
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
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
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

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