1981 search results - page 139 / 397 » Model-Checking Hierarchical Structures |
UIST
1994
ACM
15 years 2 months ago
1994
ACM
Conventional windowing environments provide separate classes of objects for user interface components, or "widgets," and graphical objects. Widgets negotiate layout and ...
102
click to vote
ECCV
2006
Springer
15 years 1 months ago
2006
Springer
Tracking body poses of multiple persons in monocular video is a challenging problem due to the high dimensionality of the state space and issues such as inter-occlusion of the pers...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
This paper proposes a nonparametric Bayesian method for exploratory data analysis and feature construction in continuous time series. Our method focuses on understanding shared fe...
106
click to vote
ICCV
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we address the issue of extracting contour of the object with a specific shape. A hierarchical graphical model is proposed to represent shape variations. A complex ...
DAC
2004
ACM
15 years 3 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...