Distributed Interactive Proofs for the Recognition of Some Geometric Intersection Graph Classes.
Benjamin JaureguiPedro MontealegreIvan RapaportPublished in: CoRR (2021)
Keyphrases
- recognition rate
- model based recognition
- distributed systems
- recognition algorithm
- random walk
- object recognition
- graph theoretical
- automatic recognition
- feature extraction
- graph representation
- pattern recognition
- peer to peer
- recognition process
- recognition accuracy
- weighted graph
- cooperative
- graph theoretic
- spanning tree
- graph mining
- theorem prover
- graph structure
- distributed environment
- structured data
- user interaction
- theorem proving
- graph model
- graph databases
- connected components
- action recognition