4507 search results - page 42 / 902 » Generalized Binet dynamics |
211
click to vote
DLS
2009
15 years 1 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
155
click to vote
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper examines the problem of moving object detection. More precisely, it addresses the difficult scenarios where background scene textures in the video might change over tim...
131
click to vote
CACM
2010
15 years 1 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
126
click to vote
ICMI
2010
Springer
15 years 1 months ago
2010
Springer
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...
161
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...