Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration.

Colas Le Guernic

Published in: SAS (2017)

Keyphrases

neural network
computer vision
image segmentation
bayesian networks
data analysis
image analysis
real time
databases
information retrieval
artificial intelligence
multi agent
video sequences
search algorithm
evolutionary algorithm
statistical analysis