1992 search results - page 107 / 399 » Model Based Testing with Labelled Transition Systems |
134
Voted
ICAPR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
141
click to vote
DCC
1995
IEEE
15 years 6 months ago
1995
IEEE
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...
121
click to vote
TASLP
2008
15 years 3 months ago
2008
In this paper, we optimize and evaluate computational models of similarity for sounds from the same instrument class. We investigate four instrument classes: bass drums, snare drum...
118
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
127
click to vote
ICES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a tuning method for MEMS gyroscopes based on evolutionary computation to efficiently increase the sensitivity of MEMS gyroscopes through tuning. The tuning met...