1314 search results - page 244 / 263 » Validation of Object Oriented Models using Animation |
109
click to vote
CADE
2005
Springer
16 years 1 days ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
129
click to vote
PAMI
2011
14 years 6 months ago
2011
—Inferring latent structures from observations helps to model and possibly also understand underlying data generating processes. A rich class of latent structures are the latent ...
102
click to vote
IJCV
2011
14 years 6 months ago
2011
Occlusion reasoning is a fundamental problem in computer vision. In this paper, we propose an algorithm to recover the occlusion boundaries and depth ordering of free-standing str...
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
Duplicate detection is the problem of detecting different entries in a data source representing the same real-world entity. While research abounds in the realm of duplicate detect...
100
click to vote
EUROPAR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...