Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Toward an Epistemic-Logical Theory of Categorization

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sabine FRITTELLA, Willem CONRADIE, Alessandra PALMIGIANO, Apostolos TZIMOULIS, Nachoem WIJNBERG
An Hierarchical Labeling Technique for Interactive Computation of Watersheds

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Kevin BOURGEOIS, Victor ESSAYAN
E-HandicapScale : an open and secure way to promote and improve diagnostics of disabled patients

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Christian TOINARD, Andrès GIL, Marie-Elisabeth LABAT
Proceedings of the 2017 International Conference on Health Informatics and Medical Systems
Formalization of a Big Graph API in Coq

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Wadoud BOUSDIRA, Frédéric LOULERGUE
A Software Test Approach to Evaluate the Enforcement of a Workflow Engine

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Christian TOINARD, Tuan TRAN, Stéphane MOINARD
Towards a Verified Parallel Implementation of Frequent Itemset Mining

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Christopher WHITNEY
What is Fair Data Processing ?

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN
https://www.isi-web.org/index.php/publications/proceedings
Textual Alignment in SPMD Programs

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Frédéric DABROWSKI
Les chaînes coréférentielles en créole de la Guadeloupe

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Emmanuel SCHANG
Sciences participatives et TALN: jusqu'où ? comment ? pourquoi ?

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER
Un outil pour la manipulation de ressources arborées

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Yannick PARMENTIER
Produire des ressources électroniques à partir de descriptions formelles : application aux langues peu dotées

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Simon PETITJEAN, Emmanuel SCHANG
Annotation d’expressions polylexicales verbales en français

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Jean-yves ANTOINE, Marie CANDITO, Mathieu CONSTANT, Carlos RAMISCH, Agata SAVARY, Caroline PASQUER
Actes de TALN
L'important c'est de participer" : positive #ironie. Analyse de sentiments et détection de l'ironie Les systèmes du LIUM et d'OCTO

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Amira BARHOUMI, Vincent LEVORATO, Nicolas DUGUÉ, Nathalie CAMELIN
Graph Constraints in Urban Computing: Dealing with conditions in processing urban data

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Laurent D'ORAZIO, Carmem HARA, Nadia KOZIEVITCH, Martin MUSICANTE
Efficient Implicit Parallel Patterns for Geographic Information System

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sophie ROBERT, Sébastien LIMET, Kevin BOURGEOIS, Victor ESSAYAN
Procedia Computer Science
A multi-level optimization strategy to improve the performance of the stencil computation

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Gauthier SORNET, Fabrice DUPROS
Permutive one-way cellular automata and the finiteness problem for automaton groups

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Martin DELACOURT, Nicolas OLLINGER
Proceedings CiE 2017 in Turku
Imperative BSPlib-style Communications in Bulk Synchronous Parallel ML

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE
On the Computational Complexity of the Freezing Non-strict Majority Automata

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Eric GOLES, Diego MALDONADO, Pedro MONTEALEGRE
Lecture Notes in Computer Science
SemEval-2018 Task 7: Semantic Relation Extraction and Classification in Scientific Papers

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Kata GÁBOR, Davide BUSCALDI, Anne-Kathrin SCHUMANN, Behrang QASEMIZADEH, Haïfa ZARGAYOUNA, Thierry CHARNOIS
Ways to Compute in Euclidean Frameworks

Publié en 2017
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérôme DURAND-LOSE
Actes des 19es REncontres jeunes Chercheurs en Informatique pour le TAL (RECITAL 2017)

Publié en 2017
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Hélène FLAMEIN
Enumeration and Maximum Number of Maximal Irredundant Sets for Chordal Graphs

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Petr A. GOLOVACH, Dieter KRATSCH, Mohamed Yosri SAYADI
Interpreting multivariate membership degrees of fuzzy clustering methods: A strategy

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Bruno PIMENTEL, Renata DE SOUZA
Proc. of the 2017 International Joint Conference on Neural Networks (IJCNN)
Exact exponential algorithms to find tropical connected sets of minimum size

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Mathieu CHAPELLE, Manfred COCHEFERT, Dieter KRATSCH, Romain LETOURNEUR
Projet GIRAFON: Protection de la vie privée dans le cadre de l'interrogation, la fouille et l'analyse de grands graphes

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Cédric EICHLER, Pascal BERTHOMÉ, Benjamin NGUYEN
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Relever les élévations d'une architecture mégalithique : développements méthodologiques

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Florian COUSSEAU, Yann BERNARD, Quentin PETIT, Jean-Baptiste BARREAU, Ronan GAUGNE, Laurent QUESNEL
Constrained Clustering by Constraint Programming

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
Transforming Prefix-Constrained or Controlled Rewrite Systems

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY, Vivien PELLETIER
Matthew Effects via Team Semantics

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Sabine FRITTELLA, Giuseppe GRECO, Michele PIAZZAI, Nachoem WIJNBERG, Fan YANG
Towards an epistemic-logical theory of categorization

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Sabine FRITTELLA, Willem CONRADIE, Alessandra PALMIGIANO, Michele PIAZZAI, Apostolos TZIMOULIS, Nachoem WIJNBERG
Special Issue of Scalable Computing: Practice and Experience on Practical Aspects of High-Level Parallel Programming

Publié en 2017
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE
Automatic classification of ceramic sherds with relief motifs

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Teddy DEBROUTELLE, Sylvie TREUILLET, Aladine CHETOUANI, Lionel MARTIN, Sébastien JESSET
Sequential and distributes graph algorithms. Parameterized algorithms via potential maximal cliques; broadcast congested clique.

Publié en 2017
Type de publication : Thèse
Auteur(s) : Pedro MONTEALEGRE-BARBA
A Framework for Minimal Clustering Modification via Constraint Programming

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Chia-Tung KUO, S. S. RAVI, Ian DAVIDSON
Apprentissage d'espaces prétopologiques dans un cadre multi-instance pour la structuration de données

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaëtan CAILLAUT
EGC 2017. Revue des Nouvelles Technologies de l'Information
Profiling High Level Heterogeneous Programs

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Mathias BOURGOIN, Emmanuel CHAILLOUX, Anastasios DOUMOULAKIS
Handling limits of high degree vertices in graph processing using MapReduce and Pregel

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Replicated Synchronization for Imperative BSP Programs

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI, Wadoud BOUSDIRA, Frédéric LOULERGUE, Arvid JAKOBSSON, Gaetan HAINS
Procedia Computer Sciences
Private, Secure and Distributed Computation of k-cores

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Pascal BERTHOMÉ, Cédric EICHLER, Benjamin NGUYEN, Maria Evgenia G. ROSSI
Fundamenta Informaticae Special issue on Machines, Computations and Universality (MCU 2015)

Publié en 2017
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Jarkko KARI, Benedek NAGY
Calculating Parallel Programs in Coq using List Homomorphisms

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Wadoud BOUSDIRA, Julien TESSON
Personalized Environment for Querying Semantic Knowledge Graphs: a MapReduce Solution

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Mostafa BAMHA, Jacques CHABIN, Mirian HALFELD-FERRARI, Béatrice MARKHOFF, Thanh Binh NGUYEN
Enumerating Minimal Tropical Connected Sets

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Dieter KRATSCH, Mohamed Yosri SAYADI
A Small Minimal Aperiodic Reversible Turing Machine

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Julien CASSAIGNE, Rodrigo TORRES
Updating RDF/S Databases Under Constraints

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Dominique LAURENT
Linguistique de corpus : vues sur la constitution, l’analyse et l’outillage

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Iris ESHKOL-TARAVELLA
RDF Updates with Constraints

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Carmem HARA, Flávio UBER

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