1981 search results - page 138 / 397 » Model-Checking Hierarchical Structures |
ICCAD
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper hierarchically constructs a hybrid mesh/tree clock network structure consisting of overlying zero-skew clock meshes, with underlying zero-skew clock trees originating f...
HPCN
2000
Springer
15 years 1 months ago
2000
Springer
The design and development of cooperative Internet applications based on mobile agents require appropriate modelling of both the physical space where agents roam and the conceptual...
WSC
2008
15 years 11 days ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
A hierarchical framework for the recognition of complex deformable shapes is developed. In extension to traditional approaches an additional layer of control is introduced to guid...
ICAPR
2005
Springer
15 years 3 months ago
2005
Springer
We propose a novel approach for finding text in images by using ridges at several scales. A text string is modelled by a ridge at a coarse scale representing its center line and n...