6740 search results - page 1018 / 1348 » Using Classification as a Programming Language |
161
click to vote
VL
2006
IEEE
16 years 22 days ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
157
click to vote
ERLANG
2006
ACM
16 years 21 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
210
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
188
click to vote
ASPLOS
2010
ACM
16 years 1 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...