6704 search results - page 346 / 1341 » Testing Scenario-Based Models |
172
Voted
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
188
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
The audio scene from broadcast soccer can be used for identifying highlights from the game. Audio cues derived from these sources provide valuable information about game events, a...
197
click to vote
AMS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract Walking, running and hopping are based on self-stabilizing oscillatory activity. In contrast, aiming movements serve to direct a limb to a desired location and demand a qu...
180
click to vote
KES
2007
Springer
16 years 27 days ago
2007
Springer
This multidisciplinary study focuses on the application and comparison of several topology preserving mapping models upgraded with some classifier ensemble and boosting techniques ...
137
click to vote
TSD
2007
Springer
16 years 26 days ago
2007
Springer
Automatic classification of dialogues between clients and a service center needs a preliminary dialogue parameterization. Such a parameterization is usually faced with essential di...