886 search results - page 89 / 178 » Reasoning with contextual graphs |
121
Voted
ENTCS
2007
15 years 4 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
168
click to vote
CC
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
131
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper we introduce a framework for automated text recognition from images. We first describe a simple but efficient text detection and recognition method based on analysis...
202
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
221
click to vote
GIS
2008
ACM
16 years 5 months ago
2008
ACM
In digital humanities projects, particularly for historical research and cultural heritage, GIS has played an increasingly important role. However, most implementations have conce...