10715 search results - page 297 / 2143 » Proofs from Tests |
179
click to vote
LREC
2008
15 years 8 months ago
2008
In aiming at research and development on machine translation, we produced a test collection for Japanese-English machine translation in the seventh NTCIR Workshop. This paper desc...
171
click to vote
IJCAI
2007
15 years 8 months ago
2007
This goal of this paper is to defend the plausibility of the argument that passing the Turing test is a sufficient condition for the presence of intelligence. To this effect, we ...
191
click to vote
ISCI
2008
15 years 6 months ago
2008
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
193
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
225
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...