Numerical verification of affine systems with up to a billion dimensions.

Stanley Bak Hoang-Dung Tran Taylor T. Johnson

Published in: HSCC (2019)

Keyphrases

complex systems
distributed systems
data structure
image registration
learning systems
data sets
genetic algorithm
three dimensional
search algorithm
management system
computer systems
formal methods
multimodal biometrics