3090 search results - page 556 / 618 » On Testing Answer-Set Programs |
134
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
133
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...
132
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
115
Voted
KDD
2007
ACM
16 years 2 months ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...
136
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...