7167 search results - page 1110 / 1434 » Answer Set Programming |
242
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
124
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
162
click to vote
POPL
2010
ACM
16 years 14 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
121
click to vote
SOSP
2007
ACM
15 years 12 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
133
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
The Local Outlier Factor (LOF) is a very powerful anomaly detection method available in machine learning and classification. The algorithm defines the notion of local outlier in...