1511 search results - page 222 / 303 » Hierarchical Graph Transformation |
141
click to vote
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...
165
Voted
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
129
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper presents a novel method for efficient boundary based shapes matching and retrieval in presence of occlusion. In this method, the geometric and topological information o...
236
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...
113
click to vote
CVPR
2010
IEEE
16 years 20 days ago
2010
IEEE
Repetitive and ambiguous visual structures in general pose a severe problem in many computer vision applications. Identification of incorrect geometric relations between images s...