1902 search results - page 103 / 381 » Differential Dynamic Logics |
153
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
-In order to implement a continuous and robust dynamic localization of a mobile robot, the fusion of dead reckoning and absolute sensors is often used. Depending on the objectives ...
155
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...
180
Voted
HPCA
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
198
click to vote
AICCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
Data grids deal with a huge amount of data regularly. It is a fundamental challenge to ensure efficient accesses to such widely distributed data sets. Creating replicas to a suita...
125
click to vote
AIPS
2006
15 years 7 months ago
2006
We present techniques for incrementally managing schedules in domains where activities accrue quality as a function of the time and resources allocated to them and the goal is to ...