9284 search results - page 70 / 1857 » Knowledge State Algorithms |
111
click to vote
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
110
click to vote
ARCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption....
AAAI
2011
13 years 12 months ago
2011
Previous research in Artificial Intelligence has identified the possibility of simplifying planning problems via the identification and exploitation of symmetries. We advance t...
DAC
2003
ACM
15 years 5 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...