1689 search results - page 165 / 338 » Refining abstract interpretations |
113
click to vote
MPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
160
click to vote
EUROGP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...
151
Voted
ER
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we discuss about composing services from standard suites of applications for personal data management in mobile devices. We propose a data model and an inte...
125
click to vote
BILDMED
2004
15 years 6 months ago
2004
Abstract. This paper proposes a method to control the object enhancement in context region in focal region based volume rendering. The proposed method uses the distance as a factor...
138
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...