Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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
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
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
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
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
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
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
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É
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
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
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É
A unified FPT Algorithm for Width of Partition Functions
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOME, Nicolas NISSE
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
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
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
Minimal proper interval completions
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Ivan RAPAPORT, Karol SUCHAN
Abstract geometrical computation with accumulations: Beyond the Blum, Shub and Smale model
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
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
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
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
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract)
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent LYAUDET, Uffe FLARUP
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Apprentissage de mesures de similarité sémantiques : étude d'une variante de la mesure InfoSimba
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
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
Approximation based tree regular model checking
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, Olga KOUCHNARENKO

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