1992 search results - page 236 / 399 » Model Based Testing with Labelled Transition Systems |
109
click to vote
LREC
2010
15 years 5 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
120
click to vote
USS
2008
15 years 6 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
118
click to vote
WSC
2007
15 years 6 months ago
2007
This paper aims to demonstrate the potential for using the system dynamics computer simulation methodology to gain insight into the evolution of insurgencies. In particular, it ex...
130
Voted
WSC
2000
15 years 5 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
128
Voted
ANNPR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a framework for multiclass vehicle type (Make and Model) identification based on oriented contour points. A method to construct a model from several frontal ve...