Sciweavers

4935 search results - page 750 / 987
» An Adaptive Supersampling Method
Sort
View
153
Voted
FGR
2004
IEEE
141views Biometrics» more  FGR 2004»
15 years 7 months ago
Smart Particle Filtering for 3D Hand Tracking
Solving the tracking of an articulated structure in a reasonable time is a complex task mainly due to the high dimensionality of the problem. A new optimization method, called Sto...
Matthieu Bray, Esther Koller-Meier, Luc J. Van Goo...
116
Voted
ER
2006
Springer
143views Database» more  ER 2006»
15 years 7 months ago
On Generating Content and Structural Annotated Websites Using Conceptual Modeling
An important milestone in the evolution of the Web is the Semantic Web: a Web in which the semantics of the available content and functionality is made explicit. Web design methods...
Sven Casteleyn, Peter Plessers, Olga De Troyer
107
Voted
FMCAD
2006
Springer
15 years 7 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
129
Voted
FMICS
2006
Springer
15 years 7 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
112
Voted
FMICS
2006
Springer
15 years 7 months ago
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...
Moritz Hammer, Michael Weber