Formalizing Inductive Proofs of Network Algorithms.
Ramesh BharadwajAmy P. FeltyFrank A. StompPublished in: ASIAN (1995)
Keyphrases
- orders of magnitude
- real time
- recently developed
- optimization problems
- neural network
- network model
- benchmark datasets
- computational complexity
- computationally efficient
- theoretical analysis
- peer to peer
- lower bound
- computational efficiency
- complex networks
- computer networks
- inductive learning
- learning algorithm
- network architecture
- inductive inference
- shortest path algorithm