1722 search results - page 131 / 345 » Generating Tests from Counterexamples |
201
click to vote
POPL
2007
ACM
16 years 27 days ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
123
Voted
IM
2007
15 years 11 days ago
2007
This paper describes Armil, a meta-search engine that groups the web snippets returned by auxiliary search engines into disjoint labeled clusters. The cluster labels generated by A...
120
click to vote
ICTAI
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an ensemble learning approach that achieves accurate predictions from arbitrarily partitioned data. The partitions come from the distributed processing requirements of ...
115
Voted
IDA
2010
Springer
15 years 4 months ago
2010
Springer
This paper delivers an example of applying intelligent data analysis to biological data where the success of the project was only possible due to joint efforts of the experts from ...
81
Voted
COLING
1996
15 years 1 months ago
1996
This paper describes a new method for extracting open compounds (uninterrupted sequences of words) from text corpora of languages, such as Thai, Japanese and Korea that exhibit un...