4814 search results - page 156 / 963 » Combining abstract interpreters |
154
click to vote
SCANGIS
2003
15 years 7 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...
181
click to vote
IJON
2008
15 years 6 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 ...
167
click to vote
FOSSACS
1998
Springer
15 years 10 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...
156
click to vote
PLILP
1993
Springer
15 years 10 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 ...
184
click to vote
VMCAI
2010
Springer
16 years 3 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...