2448 search results - page 21 / 490 » The Octahedron Abstract Domain |
IMCSIT
2010
13 years 5 months ago
2010
Abstract--This paper introduces and comprehensively evaluates a new approach for classification of image regions. It is based on the so called wavelet standard deviation descriptor...
AGP
1995
IEEE
13 years 11 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
ICLP
1998
Springer
14 years 3 days ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
AAAI
2006
13 years 9 months ago
2006
The scalability of graph-search algorithms can be greatly extended by using external memory, such as disk, to store generated nodes. We consider structured duplicate detection, an...