Research highlights - Laboratoire de Recherche en Informatique

#	Date	Title & description	Contact

76.	08/02/2012	Best Student Paper Award

77.	07/10/2013	PVLDB 2014: Delta: Scalable Data Dissemination under Capacity Constraints In content-based publish-subscribe (pub/sub) syste ...	MANOLESCU-GOUJOT Ioana

78.	07/08/2012	Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots We present a general setting for structure-sequenc ...	DENISE Alain

79.	07/05/2011	TorusDesktop: Pointing via the Backdoor is Sometimes Shorter When pointing to a target on a computer desktop, w ...

80.	07/04/2014	A Coq Formalization of the Relational Data Model A first Coq certified course in relational databas ...	CONTEJEAN Evelyne

81.	07/01/2013	Entity Discovery and Annotation in Tables The Web is rich of tables (e.g., HTML tables, spre ...

82.	07/01/2003	Entity Discovery and Annotation in Tables

83.	06/11/2007	Uniform trace sampling in very large models Let a system described as some parallel compositio ...	GAUDEL Marie-Claude

84.	06/06/2014	Effects of Display Size and Navigation Type on a Classification Task The advent of ultra-high resolution wall-size disp ...	BEAUDOUIN-LAFON Michel

85.	06/05/2019	Best Paper Award ICONS 2019: Resonance Thinking and Inductive Machine Learning Best Paper Award ICONS 2019: Resonance Thinking an ...	FRANOVA Marta

86.	05/12/2012	The Mimic Chain Reaction. V. Norris, A. Thierry, P. Amar, B. Holland, F. Molina It is sometimes speculated that the equivalent of ...	AMAR Patrick

87.	05/11/2017	Self-stabilizing Distributed Stable Marriage Stable matching (also called stable marriage in th ...	BURMAN Janna

88.	05/09/2013	Storytelling in Visual Analytics Tools for Business Intelligence Stories help us communicate knowledge, share and i ...	BEZERIANOS Anastasia

89.	05/07/2019	Best Full Paper Award EDM 2019 - Educational Data Mining Benoit Choffin, Fabrice Popineau, Yolaine Bourda, ...	CHOFFIN Benoît

90.	05/07/2012	A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic	MEBSOUT Alain

91.	05/05/2009	Proving Fairness and Implementation Correctness of a Microkernel Scheduler We report on the formal proof of a microkernel’s k ...	WOLFF Burkhart

92.	05/04/2013	Five papers accepted at IJCAI'13 Just-In-Time Compilation of Knowledge Bases by Gi ...

93.	03/10/2010	UIMarks: Quick Graphical Interaction with Specific Targets This paper reports on the design and evaluation of ...	CHAPUIS Olivier

94.	02/05/2017	Information-Geometric Optimization Algorithms: A Unifying Picture via Invariance Principles We present a canonical way to turn any smooth para ...

95.	02/05/2013	Novel insights regarding the sigmoidal pattern of resistance to neomycin conferred by the aphII gene in Streptomyces lividans. A library of synthetic promoters of various streng ...	AMAR Patrick

96.	02/04/2012	On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies Consistent query answering is a standard approach ...	BIENVENU Meghyn

97.	02/04/2012	Query Containment in Description Logics Reconsidered While query answering in the presence of descripti ...	BIENVENU Meghyn

98.	02/03/2009	Achim Brucker and Burkhart Wolff. Acta Informatica, 2009. ... We present a formal semantics for an object-orient ...	WOLFF Burkhart

99.	01/12/2011	Robust Module-based Data Management The current trend for building an ontology-based d ...	GOASDOUE François

100.	01/12/2009	Non-conservative Extension of a Peer in a P2P Inference System This paper points out that the notion of non-conse ...	GOASDOUE François


Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 4 sur 5]