Sciweavers

4078 search results - page 709 / 816
» Automatic rate adaptation
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 8 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
TOOLS
2000
IEEE
15 years 8 months ago
Generic Components to Foster Reuse
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
Lothar Baum, Martin Becker
SIGGRAPH
2000
ACM
15 years 8 months ago
Displaced subdivision surfaces
In this paper we introduce a new surface representation, the displaced subdivision surface. It represents a detailed surface model as a scalar-valued displacement over a smooth do...
Aaron W. F. Lee, Henry P. Moreton, Hugues Hoppe
CA
1999
IEEE
15 years 8 months ago
MPEG-4 Compatible Faces from Orthogonal Photos
MPEG-4 is scheduled to become an International Standard in March 1999. This paper demonstrates an experiment for a virtual cloning method and animation system, which is compatible...
Won-Sook Lee, Marc Escher, Gaël Sannier, Nadi...
IPPS
1999
IEEE
15 years 8 months ago
High-Performance Knowledge Extraction from Data on PC-Based Networks of Workstations
The automatic construction of classi ers programs able to correctly classify data collected from the real world is one of the major problems in pattern recognition and in a wide ar...
Cosimo Anglano, Attilio Giordana, Giuseppe Lo Bell...