990 search results - page 56 / 198 » A Static Analysis Technique for Graph Transformation Systems |
APVIS
2008
13 years 10 months ago
2008
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon the treemap...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
This paper outlines a technique for the automated alignment of digital images of the retina under the assumption that they differ spatially by a geometric global transform. This a...
RAID
2005
Springer
14 years 2 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
GLVLSI
2002
IEEE
14 years 2 months ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
SMA
2003
ACM
14 years 2 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...