Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
51.
13/05/2015
Computing with Synthetic Protocells
In this article we present a new kind of computing ...
52.
12/06/2012
Discovering Cross-language Links in Wikipedia through Semantic Relatedness
Wikipedia is a large multilingual collection of in ...
53.
11/11/2004
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
54.
11/02/2012
55.
10/01/2014
WWW 2014: RDF Analytics: Lenses over Semantic Graphs
The development of Semantic Web (RDF) brings new r ...
56.
10/01/2012
On Theorem Prover-based Testing
HOL-TestGen is a specification and test case gener ...
57.
09/07/2009
World's Best SAT solver on Industrial (UNSAT) problems
glucose, the SAT solver created by L. Simon (LRI) ...
58.
09/04/2008
Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence
Focus+context techniques such as fisheye lenses ar ...
59.
09/02/2016
60.
08/10/2007
Verifying a signature architecture: a comparative case study.
We report on a case study in applying different fo ...
61.
08/08/2013
Algebraic Incremental Maintenance for XML Views
Materialized views can bring important performance ...
62.
08/08/2012
63.
08/07/2005
A Verification Approach for Applied System Security
We present a method for the security analysis of r ...
64.
08/07/2003
HOL-Z 2.0: A Proof Environment for Z-Specifications.
We present a new proof environment for the specifi ...
65.
08/07/1999
66.
08/05/2011
Mid-air Pan-and-Zoom on Wall-sized Displays
Very-high-resolution wall-sized displays offer new ...
67.
08/04/2009
DynaSpot: Speed-Dependent Area Cursor
We present DynaSpot, a new technique for acquiring ...
68.
08/04/2009
Musink: Composing Music through Augmented Drawing
We focus on the creative use of paper in the music ...
69.
08/02/2012
70.
07/10/2013
PVLDB 2014: Delta: Scalable Data Dissemination under Capacity Constraints
In content-based publish-subscribe (pub/sub) syste ...
71.
07/08/2012
72.
07/05/2011
TorusDesktop: Pointing via the Backdoor is Sometimes Shorter
When pointing to a target on a computer desktop, w ...
73.
07/04/2014
A Coq Formalization of the Relational Data Model
A first Coq certified course in relational databas ...
74.
07/01/2013
Entity Discovery and Annotation in Tables
The Web is rich of tables (e.g., HTML tables, spre ...
75.
07/01/2003
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 3 sur 5]