666 search results - page 74 / 134 » Inspector Methods for State Abstraction |
TSP
2008
14 years 11 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...
116
click to vote
MIAR
2010
IEEE
14 years 10 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 8 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...
108
click to vote
DALT
2005
Springer
15 years 5 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 4 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...