4814 search results - page 156 / 963 » Combining abstract interpreters |
169
Voted
SCANGIS
2003
15 years 8 months ago
2003
In this study two aerial photograph interpretation methods, visual and digital classification, were used for the aquatic macrophyte mapping of a eutrophic study lake in the Finnish...
198
Voted
IJON
2008
15 years 7 months ago
2008
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
188
click to vote
FOSSACS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
166
click to vote
PLILP
1993
Springer
15 years 11 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
212
Voted
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...