4814 search results - page 598 / 963 » Combining abstract interpreters |
192
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract-- We present an approach to vision-based mobile robot localization, even without an a-priori pose estimate. This is accomplished by learning a set of visual features calle...
176
click to vote
AUSAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
174
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We have investigated the adaptation of AI-based search techniques as topologyindependent fault-tolerant routing strategies on multiprocessor networks [9]. The results sho...
178
click to vote
CRYPTO
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We provide a simple secret-key two-party secure communication scheme, which is provably information-theoretically secure in the limited-storage-space model. The limited-s...
176
click to vote
DAWAK
1999
Springer
15 years 11 months ago
1999
Springer
A Data Warehouse DW can be abstractly seen as a set of materialized views de ned over relations that are stored in distributed heterogeneous databases. The selection of views for...