Sciweavers

4340 search results - page 583 / 868
» Designing for change
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
CVPR
2001
IEEE
16 years 8 months ago
3D Head Tracking Using Motion Adaptive Texture-Mapping
We have developed a fast robust 3D head tracking system based on rendering a texture-mapped cylinder. In order to handle the variable frame-to-frame motion changes, the system use...
Lisa M. G. Brown
CVPR
2001
IEEE
16 years 8 months ago
Texture Replacement in Real Images
Texture replacement in real images has many applications, such as interior design, digital movie making and computer graphics. The goal is to replace some specified texture patter...
Yanghai Tsin, Yanxi Liu, Visvanathan Ramesh
170
Voted
CVPR
2003
IEEE
16 years 8 months ago
Practical Super-Resolution from Dynamic Video Sequences
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...
Zhongding Jiang, Tien-Tsin Wong, Hujun Bao
CVPR
2005
IEEE
16 years 8 months ago
Real-Time Non-Rigid Surface Detection
We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches b...
Julien Pilet, Vincent Lepetit, Pascal Fua