3031 search results - page 252 / 607 » Model Driven Testing Based on Test History |
148
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
143
click to vote
COMPSYSTECH
2007
15 years 8 months ago
2007
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...
165
click to vote
GAMEON
2007
15 years 6 months ago
2007
Real-time strategy games present an environment in which game AI is expected to behave realistically. One feature of realistic behaviour in game AI is the ability to recognise the...
115
click to vote
IJON
2002
15 years 4 months ago
2002
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...
156
click to vote
IJAR
2010
15 years 3 months ago
2010
Probabilistic Decision Graphs (PDGs) are a class of graphical models that can naturally encode some context specific independencies that cannot always be efficiently captured by...