Login / Signup
A Universal Machine for Biform Theory Graphs.
Michael Kohlhase
Felix Mance
Florian Rabe
Published in:
CoRR (2013)
Keyphrases
</>
theoretical framework
theoretical basis
general theory
machine learning
web pages
graph matching
random graphs
subgraph isomorphism
formal theory
feature selection
special case
np hard
directed graph
graph structure