1028 search results - page 129 / 206 » Reliability Analysis using Graphical Duration Models |
196
Voted
SIGSOFT
2010
ACM
15 years 7 days ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
122
click to vote
CGF
2008
15 years 2 months ago
2008
This paper proposes new methodology for the detection and matching of salient points over several views of an object. The process is composed by three main phases. In the first st...
111
click to vote
DSVIS
2005
Springer
15 years 8 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...
157
click to vote
SPLC
2007
15 years 3 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
141
click to vote
JUCS
2010
15 years 24 days ago
2010
: Algorithms for 3D head pose and facial expression tracking using a single camera (monocular image sequences) is presented in this paper. The proposed method is based on a combina...