435 search results - page 30 / 87 » System model of an inertial navigation system using SystemC-... |
HT
2000
ACM
14 years 1 days ago
2000
ACM
Many techniques exist for analyzing information domains in preparation for systems design. No systematic technique exists, however, for analyzing a system or domain in terms of it...
NSF
2001
Springer
14 years 3 days ago
2001
Springer
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— The localization capability is central to basic navigation tasks and motivates development of various visual navigation systems. In this paper we describe a two stage a...
MIAR
2010
IEEE
13 years 6 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...