3031 search results - page 157 / 607 » Model Driven Testing Based on Test History |
119
click to vote
ROBOCUP
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
QEST
2009
IEEE
15 years 8 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...
122
click to vote
ECML
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper explores the use of initial Stochastic Context-Free Grammars (SCFG) obtained from a treebank corpus for the learning of SCFG by means of estimation algorithms....
121
click to vote
DCC
1995
IEEE
15 years 4 months ago
1995
IEEE
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...
119
click to vote
FMOODS
2007
15 years 2 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...