2425 search results - page 352 / 485 » An abstraction of the Lidar measurements |
234
click to vote
CSL
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
202
click to vote
ECML
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. This paper presents a simple unsupervised learning algorithm for recognizing synonyms, based on statistical data acquired by querying a Web search engine. The algorithm, ...
234
click to vote
IWVF
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. Most CBIR systems use low-level visual features for representation and retrieval of images. Generally such methods suffer from the problems of high-dimensionality leadin...
354
click to vote
MICCAI
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. Virtual colonoscopy is a minimally invasive technique allowing early detection of colorectal polyps. A path or centerline through the colon can be very useful to perform ...
231
click to vote
PAPM
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...