1716 search results - page 221 / 344 » Generating models for temporal representations |
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents a new approach for multi-view object class detection. Appearance and geometry are treated as separate learning tasks with different training data. Our approach...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a novel technique for image inpainting, the problem of filling-in missing image parts. Image inpainting is ill-posed and we adopt a probabilistic model-based approach ...
ICCAD
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
COMAD
2009
14 years 11 months ago
2009
The focus of this paper is to develop algorithms and a framework for modeling transactional data stored in relational database into graphs for mining. Most of the real-world trans...