Efficient Identification of Additive Link Metrics: Theorem Proof and Evaluations.

Liang Ma Ting He Kin K. Leung Don Towsley Ananthram Swami

Published in: CoRR (2020)

Keyphrases

case study
interactive theorem proving
evolutionary algorithm
real time
neural network
information systems
decision trees
multi agent systems
relational databases
theorem prover