1458 search results - page 167 / 292 » Monads for incremental computing |
121
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
134
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper provides a novel state vector and covariance sub-matrix recovery algorithm for a recently developed submap based exactly sparse Extended Information Filter (EIF) SLA...
138
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Different coherence dimensions can be considered to improve the performances of an algorithm for computing collision translations of pairs of convex polyhedra. The algorithm’...
141
Voted
SIPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a fast mode decision algorithm for H.264/AVC intra prediction. The goal of this work is to reduce computational complexity of the H.264 encoder without s...
101
Voted
ISI
2007
Springer
15 years 9 months ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...