6045 search results - page 374 / 1209 » Computable Linearizations of Well-partial-orderings |
195
click to vote
ICRA
2007
IEEE
16 years 1 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...
209
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Most of present work for autonomous navigation in dynamic environment doesn’t take into account the dynamics of the obstacles or the limits of the perception system. To face ...
156
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Three new adaptive equalization algorithms for wireless systems operating over frequency selective MIMO channels are proposed. The problem of the MIMO DFE design is formulated ...
196
click to vote
CAIP
2007
Springer
16 years 1 months ago
2007
Springer
We present a novel method to detect multimodal regions composed of linear structures and measure the orientations in these regions, i.e. at line X-sings, T-junctions and Y-forks. I...
178
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...