1357 search results - page 199 / 272 » Compositionality in Graph Transformation |
178
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this paper we address the problem of scalable and load balanced routing for wireless sensor networks. Motivated by the analog of the continuous setting that geodesic routing ...
159
click to vote
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...
127
click to vote
ICIP
2006
IEEE
16 years 5 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...
231
Voted
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...
111
Voted
CVPR
2010
IEEE
16 years 13 hour 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...