5164 search results - page 606 / 1033 » Consistency of the EKF-SLAM Algorithm |
213
click to vote
KR
2010
Springer
16 years 7 hour ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
209
click to vote
KR
2010
Springer
16 years 7 hour ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
173
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
174
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
187
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...