4460 search results - page 656 / 892 » Formal methods for interactive systems |
138
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Audio-to-video synchronization (AV-sync) may drift and is difficult to recover without dedicated human effort. In this work, we develop an interactive method to recover the drifte...
141
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We consider detection of high-energy photons in PET using thick scintillation crystals. Parallax effect and multiple Compton interactions in this type of crystals significantly re...
184
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Image matting is of great importance in both computer vision and graphics applications. Most existing state-of-the-art techniques rely on large sparse matrices such as the matting ...
158
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
186
click to vote
SIBGRAPI
2007
IEEE
16 years 24 days ago
2007
IEEE
We present a versatile, fast and simple framework to generate animations of scanned human characters from input optical motion capture data. Our method is purely meshbased and req...