Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
51.
15/04/2014
52.
15/04/2004
53.
15/03/2012
54.
15/02/2012
Materialized View Selection for XQuery Workloads
The efficient processing of XQuery still poses sig ...
55.
14/10/2012
Optimizing XML querying using type-based document projection
XML data projection (or pruning) is a natural opt ...
56.
14/05/2019
57.
13/05/2015
Computing with Synthetic Protocells
In this article we present a new kind of computing ...
58.
12/06/2012
Discovering Cross-language Links in Wikipedia through Semantic Relatedness
Wikipedia is a large multilingual collection of in ...
59.
11/11/2004
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
60.
11/02/2012
61.
10/01/2014
WWW 2014: RDF Analytics: Lenses over Semantic Graphs
The development of Semantic Web (RDF) brings new r ...
62.
10/01/2012
On Theorem Prover-based Testing
HOL-TestGen is a specification and test case gener ...
63.
09/07/2009
World's Best SAT solver on Industrial (UNSAT) problems
glucose, the SAT solver created by L. Simon (LRI) ...
64.
09/04/2008
Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence
Focus+context techniques such as fisheye lenses ar ...
65.
09/02/2016
66.
08/10/2007
Verifying a signature architecture: a comparative case study.
We report on a case study in applying different fo ...
67.
08/08/2013
Algebraic Incremental Maintenance for XML Views
Materialized views can bring important performance ...
68.
08/08/2012
69.
08/07/2005
A Verification Approach for Applied System Security
We present a method for the security analysis of r ...
70.
08/07/2003
HOL-Z 2.0: A Proof Environment for Z-Specifications.
We present a new proof environment for the specifi ...
71.
08/07/1999
72.
08/05/2011
Mid-air Pan-and-Zoom on Wall-sized Displays
Very-high-resolution wall-sized displays offer new ...
73.
08/04/2009
DynaSpot: Speed-Dependent Area Cursor
We present DynaSpot, a new technique for acquiring ...
74.
08/04/2009
Musink: Composing Music through Augmented Drawing
We focus on the creative use of paper in the music ...
75.
08/02/2012
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 3 sur 5]