21108 search results - page 3866 / 4222 » A General Class of Models of |
276
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present a general framework for predicting the positioning uncertainty of underwater vehicles. We apply this framework to common examples from marine robotics:...
192
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The problem of accurate 6-DoF pose estimation of 3D objects based on their shape has so far been solved only for specific object geometries. Edge-based recognition and trackin...
194
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
213
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
210
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We study the problem of continuous monitoring of top-k queries over multiple non-synchronized streams. Assuming a sliding window model, this general problem has been a well addres...