Sciweavers

1677 search results - page 166 / 336
» On the Completeness of Quantum Computation Models
Sort
View
CVPR
2006
IEEE
16 years 8 months ago
Tracking of the Articulated Upper Body on Multi-View Stereo Image Sequences
We propose a novel method for tracking an articulated model in a 3D-point cloud. The tracking problem is formulated as the registration of two point sets, one of them parameterise...
Julius Ziegler, Kai Nickel, Rainer Stiefelhagen
CVPR
2008
IEEE
16 years 8 months ago
Image decomposition into structure and texture subcomponents with multifrequency modulation constraints
Texture information in images is coupled with geometric macrostructures and piecewise-smooth intensity variations. Decomposing an image f into a geometric structure component u an...
Georgios Evangelopoulos, Petros Maragos
CGI
1999
IEEE
15 years 11 months ago
Visualizing Knowledge about Virtual Reconstructions of Ancient Architecture
One of the assumptions of current software for visualizing architecture is that the underlying geometry is a correct, objective, and complete representation of the objects in ques...
Thomas Strothotte, Maic Masuch, Tobias Isenberg
PODC
1990
ACM
15 years 10 months ago
Sharing Memory Robustly in Message-Passing Systems
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
Hagit Attiya, Amotz Bar-Noy, Danny Dolev
ISORC
2000
IEEE
15 years 10 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm