666 search results - page 74 / 134 » Inspector Methods for State Abstraction |
TSP
2008
14 years 9 months ago
2008
Abstract--In this paper, we develop an adaptive waveform design method for target tracking under a framework of sequential Bayesian inference. We employ polarization diversity to i...
100
click to vote
MIAR
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
DALT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...