Sciweavers

711 search results - page 104 / 143
» Pictures from the Skype
Sort
View
ASE
1998
81views more  ASE 1998»
14 years 11 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
MVA
2002
106views Computer Vision» more  MVA 2002»
14 years 11 months ago
Wearable Virtual Tablet: Fingertip Drawing Interface Using an Active-Infrared Camera
We always input various kinds of information into a computer when using it. As wearable technology advances, several works about portable interfaces have been reported. These inte...
Norimichi Ukita, Akihiro Terabe, Yasuyuki Kono, Ma...
TOG
2002
208views more  TOG 2002»
14 years 11 months ago
Video matting of complex scenes
This paper describes a new framework for video matting, the process of pulling a high-quality alpha matte and foreground from a video sequence. The framework builds upon technique...
Yung-Yu Chuang, Aseem Agarwala, Brian Curless, Dav...
TOG
2002
162views more  TOG 2002»
14 years 11 months ago
Jigsaw image mosaics
This paper introduces a new kind of mosaic, called Jigsaw Image Mosaic (JIM), where image tiles of arbitrary shape are used to compose the final picture. The generation of a Jigsa...
Junhwan Kim, Fabio Pellacini
IANDC
2010
68views more  IANDC 2010»
14 years 10 months ago
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
Antonín Kucera, Richard Mayr