The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter.

Koko Muroya Dan R. Ghica

Published in: CSL (2017)

Keyphrases

three dimensional
dynamic environments
graph theory
dynamic graph
random walk
directed graph
graph model
graph structure
bipartite graph
graph clustering
graph theoretic
graph representation
directed acyclic graph
genetic algorithm
shortest path
website
computer vision
learning algorithm