408 search results - page 42 / 82 » One evaluation of model-based testing and its automation |
KR
1998
Springer
14 years 1 months ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
DLOG
2010
13 years 6 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
CP
2008
Springer
13 years 10 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. When developing statistical models of normal brain perfusion, two questions are of crucial interest: How well does an atlas describe normality and how sensitive is it at ...
SIGIR
1995
ACM
14 years 13 days ago
1995
ACM
We analyse the kinematics of probabilistic term weights at retrieval time for di erent Information Retrieval models. We present four models based on di erent notions of probabilis...