1920 search results - page 105 / 384 » The Complexity of the A B C Problem |
176
click to vote
URBAN
2011
15 years 1 months ago
2011
This paper reports on the development and application of strategies and tools for geographic information seeking and knowledge building that leverages unstructured text resources ...
179
click to vote
IJCAI
1989
15 years 7 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
185
click to vote
BIOID
2008
15 years 8 months ago
2008
Abstract. To implement a biometric authentication scheme, the templates of a group of people are stored in the database (DB) under the names of these people. Some person presents a...
152
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Single-track vehicles, such as motorcycles, provide an agile mobile platform. Modeling and control of motorcycles for agile maneuvers, such as those by professional racing ride...
161
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a novel approach to the multi-vehicle Simultaneous Localisation and Mapping (SLAM) problem that exploits the manner in which observations are fused into the gl...