Sciweavers

349 search results - page 49 / 70
» Modeling Dynamic Textures Using Subspace Mixtures
Sort
View
CVPR
2006
IEEE
15 years 3 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
15 years 11 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
15 years 4 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
67
Voted
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
15 years 3 months 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
15 years 1 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