3819 search results - page 338 / 764 » Predicting Dependability by Testing |
158
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
143
click to vote
CIDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Some data mining problems require predictive models to be not only accurate but also comprehensible. Comprehensibility enables human inspection and understanding of the model, m...
106
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Computer assistance for breast conserving surgery requires a guidance method to assist a surgeon in locating tumor margin accurately. A wide array of guidance methods can be consid...
149
click to vote
INEX
2005
Springer
15 years 10 months ago
2005
Springer
We describe the University of Amsterdam’s participation in the INEX 2005 Interactive Track, mainly focusing on a comparative experiment, in which the baseline system Daffodil/HyR...
157
click to vote
SIGMOD
2000
ACM
15 years 9 months ago
2000
ACM
Testing an SQL database system by running large sets of deterministic or stochastic SQL statements is common practice in commercial database development. However, code defects oft...