2425 search results - page 249 / 485 » An abstraction of the Lidar measurements |
184
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
161
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
186
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
167
click to vote
GISCIENCE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper presents an automatic approach to mining collections of maps from the Web. Our method harvests images from the Web and then classifies them as maps or non-map...
171
click to vote
DASFAA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. Advances in web technology have given rise to new information retrieval applications. In this paper, we present a model for geographical region search and call this class...