385 search results - page 52 / 77 » Perturbation Analysis with Qualitative Models |
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider cluster systems with multiple nodes where each server is prone to run tasks at a degraded level of service due to some software or hardware fault. The cluster serves t...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
Human movements include limb gestures and postural attitude. Although many computer animation researchers have studied these classes of movements, procedurally generated movements...