1087 search results - page 143 / 218 » Generation under Space Constraints |
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
The indexing of complex data and similarity search plays an important role in many application areas. Traditional centralized index structure can not scale with the rapid prolifer...
147
click to vote
ESA
2007
Springer
15 years 6 months ago
2007
Springer
We present an experimental evaluation of an approximate distance oracle recently suggested by Thorup [1] for undirected planar graphs. The oracle uses the existence of graph separa...
84
Voted
WACV
2005
IEEE
15 years 6 months ago
2005
IEEE
General structure-from-motion methods are not adept at dealing with constrained camera motions, even though such motions greatly simplify vision tasks like mobile robot localizati...
130
click to vote
TABLEAUX
1998
Springer
15 years 4 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
106
click to vote
COSIT
1997
Springer
15 years 4 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...