1081 search results - page 57 / 217 » Hierarchical Heterogeneous Specifications |
191
click to vote
SIGSOFT
2010
ACM
15 years 18 days ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
189
Voted
MMSEC
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
144
click to vote
WSCG
2001
15 years 7 months ago
2001
A procedure is described for synthesizing an image with the same texture as a given input image. To achieve this, the output image is built up by successively adding pixels select...
161
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We describe a new method for unsupervised structure learning of a hierarchical compositional model (HCM) for deformable objects. The learning is unsupervised in the sense...
160
Voted
POPL
2000
ACM
15 years 9 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...