785 search results - page 60 / 157 » An Algebra of Hierarchical Graphs |
76
Voted
ICSE
2003
IEEE-ACM
16 years 28 days 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...
104
click to vote
COORDINATION
2000
Springer
15 years 4 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...
113
Voted
IPPS
2006
IEEE
15 years 6 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...
105
Voted
COMBINATORICS
2004
15 years 21 days 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...
106
Voted
ACL
2010
14 years 11 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...