1992 search results - page 277 / 399 » Model Based Testing with Labelled Transition Systems |
150
click to vote
JSW
2007
15 years 3 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
100
click to vote
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
Preoperative planning systems are commonly used for oral implant surgery. One of the objectives is to determine if the quantity and quality of bone is sufficient to sustain an impl...
157
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
155
click to vote
KES
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...
116
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...