3028 search results - page 442 / 606 » Integrating Temporal Logics |
158
click to vote
RTAS
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
148
click to vote
AXMEDIS
2006
IEEE
15 years 8 months ago
2006
IEEE
Traditional media, such as text, image, audio and video, have long been the main media resources and granted full support of standard desktop tools and applications. Interactive r...
136
click to vote
NIPS
2004
15 years 5 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
TVCG
2010
15 years 2 months ago
2010
—Characteristic curves of vector fields include stream, path, and streak lines. Stream and path lines can be obtained by a simple vector field integration of an autonomous ODE ...
138
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
We consider a problem central in aerial visual surveillance applications { detection and tracking of small, independently moving objects in long and noisy video sequences. We dire...