10715 search results - page 311 / 2143 » Proofs from Tests |
237
click to vote
DB
2008
15 years 6 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
193
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Although there are many papers examining ambiguity in Information Retrieval, this paper shows that there is a whole class of ambiguous word that past research has barely explored....
169
click to vote
ENTCS
1998
15 years 6 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
177
click to vote
NCA
2002
IEEE
15 years 6 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
147
click to vote
JGS
2010
15 years 5 months ago
2010
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...