1994 search results - page 135 / 399 » Computation of Optical Flow Using Dynamic Programming |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
CPHYSICS
2006
14 years 10 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
GI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
CVPR
2001
IEEE
15 years 12 months ago
2001
IEEE
Image inpainting involves filling in part of an image or video using information from the surrounding area. Applications include the restoration of damaged photographs and movies ...
INFOCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— Emerging network applications tend to be built over heterogeneous network resources spanning multiple management domains. Many such applications have dynamic demands for dedica...