1921 search results - page 105 / 385 » Stereo Without Search |
219
click to vote
GIS
2007
ACM
16 years 4 months ago
2007
ACM
Robust, global, address geocoding is challenging because there is no single address format that applies to all geographies, and in any case, users may not restrict themselves to w...
205
click to vote
GIS
2009
ACM
16 years 4 months ago
2009
ACM
A route leads from a start location to a final destination and passes through geospatial entities that are picked according to search terms provided by the user. Each entity is pe...
108
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
253
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...
204
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
With ever-increasing amounts of graph data from disparate sources, there has been a strong need for exploiting significant graph patterns with user-specified objective functions. ...