4814 search results - page 564 / 963 » Combining abstract interpreters |
151
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— In this paper we show how to optimize the computational cost and maximize consistency in EKF-based SLAM for large environments. We combine Local Mapping with Map Joinin...
166
click to vote
ISCAS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— In this article we present a novel design of a lowpower geometric mapping co-processor that can be used for high-performance graphics system. The processor can carry ou...
190
click to vote
WIOPT
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— We investigate the fairness and throughput properties of a simple distributed scheduling policy, maximal scheduling, in the context of a general ad-hoc wireless network...
179
click to vote
ACCV
2006
Springer
16 years 24 days ago
2006
Springer
Abstract. In this paper, we present a new, biologically inspired perceptual feature to solve the selectivity and invariance issue in object recognition. Based on the recent findin...
139
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...