Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs.
Pedro MontealegreDiego Ramírez-RomeroIván RapaportPublished in: CoRR (2020)
Keyphrases
- recognition rate
- recognition accuracy
- pattern recognition
- automatic recognition
- object recognition
- graph matching
- distributed systems
- distance function
- mobile agents
- human activities
- weighted graph
- series parallel
- theorem proving
- graph representation
- recognition process
- handwritten characters
- feature extraction
- recognition algorithm
- euclidean distance
- action recognition
- multi agent
- bipartite graph
- character recognition
- theorem prover
- communication cost
- user friendly
- activity recognition
- image matching