12981 search results - page 2522 / 2597 » Model Checking and Abstraction |
121
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...
132
click to vote
MIAR
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...
116
click to vote
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
117
click to vote
SIPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
156
click to vote
WIOPT
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— An important application of wireless sensor networks is to perform the monitoring missions, for example, to monitor some targets of interests at all times. Sensors are ...