1722 search results - page 91 / 345 » Generating Tests from Counterexamples |
148
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
131
click to vote
IJCAI
2007
15 years 4 months ago
2007
Traditional classification involves building a classifier using labeled training examples from a set of predefined classes and then applying the classifier to classify test instan...
114
click to vote
CSDA
2007
15 years 3 months ago
2007
Previous research has shown that method two-way with error for multiple imputation in test and questionnaire data produces small bias in statistical analyses. This method is based...
115
click to vote
ICML
2003
IEEE
16 years 4 months ago
2003
IEEE
The majority of theoretical work in machine learning is done under the assumption of exchangeability: essentially, it is assumed that the examples are generated from the same prob...
114
Voted
JCDL
2006
ACM
15 years 9 months ago
2006
ACM
Currently in document retrieval there are many algorithms each with different strengths and weakness. There is some difficulty, however, in evaluating the impact of the test quer...