1422 search results - page 148 / 285 » Complementation in Abstract Interpretation |
106
click to vote
EMMCVPR
2009
Springer
15 years 10 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...
129
click to vote
MATES
2009
Springer
15 years 10 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 ...
153
click to vote
SAMOS
2009
Springer
15 years 10 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...
145
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
123
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...