598 search results - page 36 / 120 » Efficient and User-Friendly Verification |
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
82
Voted
ENTCS
2006
14 years 9 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
ENTCS
2002
14 years 9 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
TCS
2002
14 years 9 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
IJCNN
2007
IEEE
15 years 4 months ago
2007
IEEE
: This paper presents a new approach based on HMM/ANN hybrid for online signature verification. A group of ANNs are used as local probability estimators for an HMM. The Viterbi alg...