10715 search results - page 161 / 2143 » Proofs from Tests |
127
Voted
PAMI
2011
14 years 7 months ago
2011
—Property testing is a rapidly growing field of research. Typically, a property testing algorithm proceeds by quickly determining whether an input can satisfy some condition, und...
ICTAI
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, a combinatorial auction problem is modeled as a NP-complete set packing problem and a Lagrangian relaxation based heuristic algorithm is proposed. Extensive experim...
83
Voted
HCI
2007
15 years 2 months ago
2007
The collection and sharing of results from usability laboratories around the world has not yet made good use of emerging models of Internetbased knowledge sharing technologies. Thi...
119
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
109
Voted
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...