Sciweavers

349 search results - page 49 / 70
» Modeling Dynamic Textures Using Subspace Mixtures
Sort
View
CVPR
2006
IEEE
14 years 1 months ago
Specular Flow and the Recovery of Surface Structure
In scenes containing specular objects, the image motion observed by a moving camera may be an intermixed combination of optical flow resulting from diffuse reflectance (diffuse ...
Stefan Roth, Michael J. Black
CVPR
2008
IEEE
14 years 9 months ago
Simultaneous super-resolution and 3D video using graph-cuts
This paper presents a new method to increase the quality of 3D video, a new media developed to represent 3D objects in motion. This representation is obtained from multi-view reco...
Tony Tung, Shohei Nobuhara, Takashi Matsuyama
BIRTHDAY
2009
Springer
14 years 2 months ago
Hybrid BDD and All-SAT Method for Model Checking
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
Avi Yadgar, Orna Grumberg, Assaf Schuster
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
14 years 24 days ago
Design of a digital reaction-diffusion system for restoring blurred fingerprint images
This paper presents an algorithm for fingerprint image restoration using a Digital Reaction-Diffusion System (DRDS). The DRDS is a model of a discrete-time discrete-space nonline...
Koichi Ito, Takafumi Aoki, Tatsuo Higuchi
COORDINATION
2006
Springer
13 years 11 months ago
Evolution On-the-Fly with Paradigm
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
Luuk Groenewegen, Erik P. de Vink