1992 search results - page 235 / 399 » Model Based Testing with Labelled Transition Systems |
150
click to vote
CLEF
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes the fourth participation of IR-n system (Alicante University) at CLEF conferences. At present conference, we have modified the similarity measure and the que...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
172
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
: The aim of this study was to demonstrate the effectiveness of an adaptive neuro-fuzzy inference system (ANFIS) for the prediction of diesel spray penetration length in the cylind...
173
click to vote
PADS
2006
ACM
16 years 12 days ago
2006
ACM
Artificial intelligence (AI) can contribute to the management of a data driven simulation system, in particular with regard to adaptive selection of data and refinement of the mo...
163
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Splitting a speech signal into speakers is the main goal of a speaker diarization system, which has become an important building block in many speech processing algorithms. Curren...