1689 search results - page 183 / 338 » Refining abstract interpretations |
153
click to vote
SEFM
2009
IEEE
15 years 11 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...
115
click to vote
EMMCVPR
2009
Springer
15 years 11 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...
137
click to vote
MATES
2009
Springer
15 years 11 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 ...
156
click to vote
SAMOS
2009
Springer
15 years 11 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
125
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...