190 search results - page 6 / 38 » A Model-Based Standard for SDL |
69
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Compressive sensing (CS) is an alternative to Shannon/Nyquist sampling for acquisition of sparse or compressible signals that can be well approximated by just K N elements from a...
92
Voted
ICIP
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a model-based algorithm for the estimation of 3D motion and the analysis of facial expressions of a speaking person. A set of facial animation parameters ...
ADAEUROPE
2006
Springer
15 years 3 months ago
2006
Springer
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
100
click to vote
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...