11212 search results - page 1773 / 2243 » Semi-persistent Data Structures |
183
click to vote
INEX
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes the participation of the INRIA group in the INEX 2007 XML entity ranking and ad hoc tracks. We developed a system for ranking Wikipedia entities in answer to a...
168
click to vote
ISAAC
2007
Springer
16 years 29 days ago
2007
Springer
Let C denote a set of n mobile clients, each of which follows a continuous trajectory on a weighted tree T. We establish tight bounds on the maximum relative velocity of the 1-cent...
193
click to vote
ISBRA
2007
Springer
16 years 29 days ago
2007
Springer
The biological interpretation of large-scale gene expression data is one of the challenges in current bioinformatics. The state-of-theart approach is to perform clustering and then...
195
click to vote
PPDP
2007
Springer
16 years 29 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
192
click to vote
ROBOCUP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Recent successful SLAM methods employ hybrid map representations combining the strengths of topological maps and occupancy grids. Such representations often facilitate mu...