211 search results - page 19 / 43 » Towards A Shape Analysis for Graph Transformation Systems |
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
110
click to vote
SMA
2003
ACM
15 years 5 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...
IBPRIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a registration and retrieval algorithm of medical images. Our algorithm is oriented in a general fashion towards gray level medical images of non-rigid bodies ...
102
click to vote
ISMAR
2006
IEEE
15 years 5 months ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—With the trend toward high-quality large form factor displays on high-end handhelds, LCD backlight accounts for a significant and increasing percentage of the total energy budg...