399 search results - page 15 / 80 » Combining the Animation and Testing of Abstract Data Types |
ICONIP
2007
13 years 9 months ago
2007
Abstract. A filter algorithm using F-measure has been used with feature redundancy removal based on the Kolmogorov-Smirnov (KS) test for rough equality of statistical distribution...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
IEAAIE
2010
Springer
13 years 5 months ago
2010
Springer
Remote sensing based on imagery has traditionally been the main tool used to extract land uses and land cover (LULC) maps. However, more powerful tools are needed in order to fulfi...
ECIR
2007
Springer
13 years 9 months ago
2007
Springer
Query-independent features (also called document priors), such as the number of incoming links to a document, its Page-Rank, or the type of its associated URL, have been successfu...
ICFP
1999
ACM
14 years 5 days ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...