4276 search results - page 509 / 856 » Techniques for Empirical Validation |
159
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
175
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
153
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
151
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains more than 1 million entities a...
212
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Document classification presents difficult challenges due to the sparsity and the high dimensionality of text data, and to the complex semantics of the natural language. The tradi...