1992 search results - page 97 / 399 » Model Based Testing with Labelled Transition Systems |
109
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
135
click to vote
ICIAR
2009
Springer
15 years 7 months ago
2009
Springer
A self-adaptive Hidden Markov Model (SA-HMM) based framework is proposed for behavior recognition in this paper. In this model, if an unknown sequence cannot be classified into an...
142
click to vote
UM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
135
click to vote
MMB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
117
click to vote
HAPTICS
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...