1981 search results - page 204 / 397 » Model-Checking Hierarchical Structures |
112
Voted
CAD
2005
Springer
15 years 2 months ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...
101
click to vote
CMSB
2004
Springer
15 years 8 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
EUROCRYPT
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a new lattice-based cryptographic structure called a bonsai tree, and use it to resolve some important open problems in the area. Applications of bonsai trees include...
116
Voted
SSIAI
2000
IEEE
15 years 7 months ago
2000
IEEE
We proposed an intensity-based morphological pyramid image registration algorithm. This approach utilizes the global affine transformation model, also considering radiometric chan...
126
Voted
SIBGRAPI
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. In this paper we introduce a new mesh refinement method for subdivision surfaces. It generates a semiregular 4-direction hierarchical structure from control meshes repres...