1340 search results - page 66 / 268 » Kalman Temporal Differences |
114
click to vote
DEON
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
76
Voted
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
103
click to vote
WSCG
2003
15 years 1 months ago
2003
The computation of global illumination in a dynamic scene constitutes a real challenge in computer graphics. In radiosity algorithms, this problem is far from being easy, especial...
ACL
2012
13 years 2 months ago
2012
We investigate the problem of ordering medical events in unstructured clinical narratives by learning to rank them based on their time of occurrence. We represent each medical eve...
117
click to vote
CVPR
2000
IEEE
16 years 1 months ago
2000
IEEE
The analysis of human action captured in video sequences has been a topic of considerable interest in computer vision. Much of the previous work has focused on the problem of acti...