785 search results - page 60 / 157 » An Algebra of Hierarchical Graphs |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
COORDINATION
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
— Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality line...
COMBINATORICS
2004
13 years 9 months ago
2004
We consider the Goldberg-Coxeter construction GCk,l(G0) (a generalization of a simplicial subdivision of the dodecahedron considered in [Gold37] and [Cox71]), which produces a pla...
ACL
2010
13 years 8 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...