1422 search results - page 147 / 285 » Complementation in Abstract Interpretation |
111
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...
106
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
130
click to vote
DASFAA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. Besides topological relations and approximate relations, cardinal directions have turned out to be an important class of qualitative spatial relations. In spatial databas...
120
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
150
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...