1847 search results - page 137 / 370 » Hybrid Functional Interpretations |
139
click to vote
IPMI
2003
Springer
16 years 6 months ago
2003
Springer
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
136
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This work studies the mGA operator (Micro Genetic Algorithm), that has been proposed in literature as a “local search” operator for optimization with Genetic Algorithm. A new ...
175
click to vote
TSMC
2008
15 years 5 months ago
2008
In this paper, we propose a geometric approach to the theory of evidence based on convex geometric interpretations of its two key notions of belief function (b.f.) and Dempster...
157
click to vote
TPLP
2002
15 years 5 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
166
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...