1530 search results - page 40 / 306 » Programmable motion effects |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
Most previous motion deblurring methods restore the degraded image assuming a shift-invariant linear blur filter. These methods are not applicable if the blur is caused by spatial...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Video surveillance systems produce huge amounts of data for storage and display. Long-term human monitoring of the acquired video is impractical and ineffective. Automatic abnorma...
VRST
2009
ACM
14 years 3 months ago
2009
ACM
For the convenient reuse of large-scale 3D motion capture data, browsing and searching methods for the data should be explored. In this paper, an efficient indexing and retrieval...