1722 search results - page 208 / 345 » Generating Tests from Counterexamples |
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
SOCIALCOM
2010
13 years 7 months ago
2010
Online communities are connecting large numbers of individuals and generating rich social network data, opening the way for empirical studies of social behavior. In this paper, we ...
ACL
2009
13 years 7 months ago
2009
It is usually assumed that the kind of noise existing in annotated data is random classification noise. Yet there is evidence that differences between annotators are not always ra...
COLING
2010
13 years 4 months ago
2010
In statistical machine translation, decoding without any reordering constraint is an NP-hard problem. Inversion Transduction Grammars (ITGs) exploit linguistic structure and can w...
JMLR
2010
13 years 4 months ago
2010
In a typical Genetic Association Study (GAS) several hundreds to millions of genomic variables are measured and tested for association with a given set of a phenotypic variables (...