3473 search results - page 429 / 695 » Searching the Web Using a Map |
144
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
165
click to vote
DAGM
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we present a framework for computing depth images at interactive rates. Our approach is based on combining time-of-flight (TOF) range data with stereo vision. We use ...
175
click to vote
AROBOTS
2002
15 years 4 months ago
2002
We describe techniques to optimally select landmarks for performing mobile robot localization by matching terrain maps. The method is based upon a maximum-likelihood robot localiza...
168
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
CiteSeer is currently a very large source of meta-data information on the World Wide Web (WWW). This meta-data is the key material for the Semantic Web. Still, CiteSeer is not yet...
173
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: In 2004, we presented a web resource for stimulating the search for novel RNAs, RNA-As-Graphs (RAG), which classified, catalogued, and predicted RNA secondary structur...