15 search results - page 2 / 3 » Windows-based Animation with PROOF |
COMPGEOM
1999
ACM
13 years 11 months ago
1999
ACM
HUMO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper introduces a hand tracking system with a theoretical proof of convergence. The tracking system follows a model-based approach and uses image-based cues, namely...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents a novel robust watermarking algorithm for 3D skinning mesh animations by embedding the watermark in skin weights in addition to key frames. This method can be ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
WSC
2001
13 years 8 months ago
2001
A car-following and lane-changing microsimulation model of a two-lane road section has been written in SLX (Simulation Language with eXtensibility) as part of an extensive researc...