1992 search results - page 235 / 399 » Model Based Testing with Labelled Transition Systems |
117
Voted
CLEF
2004
Springer
15 years 9 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...
148
Voted
ENTCS
2007
15 years 3 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...
140
click to vote
KES
2005
Springer
15 years 9 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...
132
Voted
PADS
2006
ACM
15 years 9 months 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...
120
Voted
ICASSP
2011
IEEE
14 years 7 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...