Sciweavers

2597 search results - page 220 / 520
» On numbers of Davenport-Schinzel sequences
Sort
View
198
Voted
HUMO
2007
Springer
15 years 8 months ago
Silhouette Based Generic Model Adaptation for Marker-Less Motion Capturing
This work presents a marker-less motion capture system that incorporates an approach to smoothly adapt a generic model mesh to the individual shape of a tracked person. This is don...
Martin Sunkel, Bodo Rosenhahn, Hans-Peter Seidel
SOFSEM
2007
Springer
15 years 7 months ago
On Optimal Solutions for the Bottleneck Tower of Hanoi Problem
We study two aspects of a generalization of the Tower of Hanoi puzzle. In 1981, D. Wood suggested its variant, where a bigger disk may be placed higher than a smaller one if their ...
Yefim Dinitz, Shay Solomon
ISPASS
2006
IEEE
15 years 7 months ago
Characterizing the branch misprediction penalty
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...
Stijn Eyerman, James E. Smith, Lieven Eeckhout
SP
2006
IEEE
147views Security Privacy» more  SP 2006»
15 years 7 months ago
A Computationally Sound Mechanized Prover for Security Protocols
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
Bruno Blanchet
98
Voted
ICCV
2005
IEEE
15 years 7 months ago
Bi-Directional Tracking Using Trajectory Segment Analysis
In this paper, we present a novel approach to keyframe-based tracking, called bi-directional tracking. Given two object templates in the beginning and ending keyframes, the bi-dire...
Jian Sun, Weiwei Zhang, Xiaoou Tang, Heung-Yeung S...