692 search results - page 30 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
CAV
2010
Springer
15 years 10 hour ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
Comments left by readers on Web documents contain valuable information that can be utilized in different information retrieval tasks including document search, visualization, and ...
100
click to vote
ICLP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
114
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
TSP
2008
14 years 11 months ago
2008
Abstract--Digital processing techniques are based on representing a continuous-time signal by a discrete set of samples. This paper treats the problem of reconstructing a periodic ...