331 search results - page 57 / 67 » Abstract Interpretation of Graph Transformation |
SLP
1993
14 years 11 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
VIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Visualization is the transformation of data or information into pictures. The need for visualization has become more apparent as the amount of available information has increased ...
103
click to vote
PAKDD
2010
ACM
14 years 8 months ago
2010
ACM
Abstract. Within the large body of research in complex network analysis, an important topic is the temporal evolution of networks. Existing approaches aim at analyzing the evolutio...
ECAI
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
BC
2005
14 years 9 months ago
2005
Abstract We model the dynamical behavior of the neuropil, the densely interconnected neural tissue in the cortex, using neuropercolation approach. Neuropercolation generalizes phas...