1679 search results - page 186 / 336 » Variability and Component Composition |
ENTCS
2007
13 years 9 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
CVPR
2005
IEEE
14 years 11 months ago
2005
IEEE
In this paper we present a generative, high resolution face representation which extends the well-known active appearance model (AAM)[5, 6, 7] with two additional layers. (i) One ...
IPMI
2003
Springer
14 years 10 months ago
2003
Springer
The Gaussian distribution is the basis for many methods used in the statistical analysis of shape. One such method is principal component analysis, which has proven to be a powerfu...
ICARCV
2008
IEEE
14 years 3 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...