Atomos: Constant-Size Path Validation Proof.

Anxiao He Kai Bu Yucong Li Eikoh Chida Qianping Gu Kui Ren

Published in: IEEE Trans. Inf. Forensics Secur. (2020)

Keyphrases

clustering algorithm
scales linearly
machine learning
decision making
shortest path
theorem proving
database
real time
image processing
database systems
bayesian networks
multi agent systems
artificial neural networks
special case
window size