4341 search results - page 618 / 869 » Quantitative Model checking |
182
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes algorithms for the animation of men and women performing three dynamic athletic behaviors: running, bicycling, and vaulting. We animate these behaviors using ...
174
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
169
click to vote
SCA
2007
15 years 9 months ago
2007
Current approaches to skeleton generation are based on topological and geometrical information only; this can be insufficient for realistic character animation, since the location...
175
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
1 This paper presents a transient faults sensitivity evaluation for Quasi Delay Insensitive (QDI) asynchronous circuits. Because of their specific architecture, asynchronous circui...
153
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...