4814 search results - page 172 / 963 » Combining abstract interpreters |
157
click to vote
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
182
click to vote
MCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Stacked generalization is a flexible method for multiple classifier combination; however, it tends to overfit unless the combiner function is sufficiently smooth. Prev...
154
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
155
click to vote
ECSQARU
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we study a new probability associated with any given belief function b, i.e. the orthogonal projection π[b] of b onto the probability simplex P. We provide an interp...
169
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— This paper shows that the k-means quantization of a signal can be interpreted both as a crisp indicator function and as a fuzzy membership assignment describing fuzzy clusters ...