Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1799

Team-based MAC policy over Security-Enhanced Linux

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Jean-François LALANDE, Waleed SMARI
A full first-order constraint solver for decomposable theories

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Mapping Heterogeneous Distributed Applications on Clusters.

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN, Jeremie VAUTARD, Arnaud LALLOUET
Pipelined Parallelism in Multi-Join Queries on Heterogeneous Shared Nothing Architectures

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Tree Data Decision Diagrams

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Duy Tung NGUYEN
Automation of the Volumetric Models Construction

Publié en 2008
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Christian TOINARD, Pierre-Alain FAYOLLE, Alexander PASKO, Elena KARTASHEVA, Christophe ROSENBERGER
Store-dependent and -independent Modes Regulating Ca 2+ Release-activated Ca 2+ Channel Activity of Human Orai1 and Orai3

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Shenyuan ZHANG, J. Ashot KOZAK, Weihua JIANG, Andriy YEROMIN, Jing CHEN, Ying YU, Aubin PENNA, Wei SHEN, Victor CHI, Michael CAHALAN
Combinaison de la propagation et de la décomposabilité pour la résolution de contraintes du premier ordre

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Une architecture de bureaux graphiques distants sécurisée et distribuée

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jonathan ROUZAUD-CORNABAS
A proposal for securing a large-scale high-interaction honeypot

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE
Correlation of system events: High performance classification of selinux activities and scenarios

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Active Intruders with Caps

Publié en 2008
Type de publication : Communications sans actes
Auteur(s) : Siva ANATHARAMAN, Hai LIN, Chris LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Data Structures and Algorithms for Pretopology: The Java Based Software Library Pretopolib

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Marc BUI
Compression vs Queryability - A Case Study

Publié en 2008
Type de publication : Conférence donnée sur invitation
Auteur(s) : Siva ANANTHARAMAN
Automating opinion analysis in film reviews : the case of statistic versus linguistic approach

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Damien POIRIER, Cécile BOTHOREL, Emilie GUIMIER DE NEEF, Marc BOULLÉ
The signal point of view: from cellular automata to signal machines

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
An efficient decision procedure for functional decomposable theories based on dual constraints

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
On Dissemination Thresholds in Regular and Irregular Graph Classes

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Ivan RAPAPORT, Karol SUCHAN, Jacques VERSTRAËTE
Combination of decomposability and propagation for solving first-order constraints in decomposable theories.

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Placement d'applications interactives sur des architectures distribuées hétérogènes à l'aide de la programmation par contraintes

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN, Jeremie VAUTARD, Arnaud LALLOUET
Analyse exploratoire d'opinions cinématographiques : co-clustering de corpus textuels communautaires

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Damien POIRIER, Cécile BOTHOREL, Marc BOULLÉ
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT
Exact Algorithms for Treewidth and Minimum Fill-In

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Dieter KRATSCH, Yngve VILLANGER
Fully Unsupervised Graph-Based Discovery of General-Specific Noun Relationships from Web Corpora Frequency Counts

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
A Proposal for Multilevel Constraint Programming

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
Theory of Finite or Infinite Trees Revisited

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL, Thi-bich-hanh DIEP-DAO, Thom FRUEHWIRTH
Fast Robber in Planar Graphs

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas NISSE, Karol SUCHAN
Parallel LOD for static and dynamic generic geo-referenced data

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Sophie ROBERT, Simon ARVAUX, Joeffrey LEGAUX
Unsupervised Learning of General-Specific Noun Relations from the Web

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
Mapping General-Specific Noun Relationships to WordNet Hypernym/Hyponym Relations

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
Voleur véloce dans un réseau planaire

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Nicolas NISSE, Karol SUCHAN
An extended version of the k-means method for overlapping clustering

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
A unified FPT Algorithm for Width of Partition Functions

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOMÉ, Nicolas NISSE
Black hole computation: implementation with signal machines

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Etude comparative de deux approches de classification recouvrante : Moc vs. Okm

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Jacques-Henri SUBLEMONTIER
Grimage : une plate-forme d'interactions 3D sans marqueurs

Publié en 2008
Type de publication : Revue nationale sans comité de lecture
Auteur(s) : Bruno RAFFIN, Christian BLONZ
Experience and Perspectives in QBF-Based Formal Verification

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marco BENEDETTI, Hratch MANGASSARIAN
Quantified Constraint Optimization

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Classification de textes en domaines et en genres en combinant morphosyntaxe et lexique

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Céline POUDAT
Conditional Random Fields for XML Applications

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Rémi GILLERON, Florent JOUSSE, Marc TOMMASI, Isabelle TELLIER
Feedback vertex set on AT-free graphs

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Dieter KRATSCH, Haiko MÜLLER
On Fan Raspaud Conjecture

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
A Comparison between Two Statistical Relational Models

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Lorenza SAITTA
Special issue on High-Level Parallel Programming and Applications

Publié en 2008
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Alexander TISKIN
Modeling Adversary Scheduling with QCSP+

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Semantic Similarities and General-Specific Noun Relations from the web

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
On $(P_5,\overline{P_5})$-sparse graphs and other families

Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Parallel Processing of Group-By Join Queries on Shared Nothing Machines

Publié en 2008
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN

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