1340 search results - page 63 / 268 » Kalman Temporal Differences |
ECBS
2002
IEEE
15 years 4 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
119
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
CVPR
2001
IEEE
16 years 1 months ago
2001
IEEE
A method for temporally integrating appearance-based body-part labelling is presented. We begin by modifying the silhouette labelling method of Ghost[4]; that system first determi...
106
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a new method for sampling camera response functions: temporally mixing two uncalibrated irradiances within a single camera exposure. Calibration methods rely on some kn...
SIGSOFT
2005
ACM
16 years 18 days ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...