1914 search results - page 228 / 383 » Verification by Abstract Interpretation |
DASFAA
2010
IEEE
15 years 7 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...
TACAS
2009
Springer
15 years 7 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...
121
click to vote
SEFM
2009
IEEE
15 years 7 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...
EMMCVPR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Tracking is usually interpreted as finding an object in single consecutive frames. Regularization is done by enforcing temporal smoothness of appearance, shape and motio...
101
click to vote
MATES
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Searching for information in large rather unstructured realworld data sets is a di cult task, because the user expects immediate responses as well as high-quality search ...