1961 search results - page 6 / 393 » PicoDBMS: Validation and Experience |
ISMAR
2009
IEEE
14 years 3 months ago
2009
IEEE
It is extremely challenging to run controlled studies comparing multiple Augmented Reality (AR) systems. We use an “AR simulation” approach, in which a Virtual Reality (VR) sy...
TREC
2004
13 years 10 months ago
2004
In the domain of biomedical publications, synonyms and homonyms are omnipresent and pose a great challenge for document retrieval systems. For this year's TREC Genomics Ad ho...
PSTV
1989
13 years 10 months ago
1989
ICDM
2009
IEEE
13 years 6 months ago
2009
IEEE
Given a set of moving object trajectories, it is of interest to find a group of objects, called a convoy, that are spatially density-connected for a certain duration of time. Howev...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...