Approaching the Coverability Problem Continuously.

Michael Blondin Alain Finkel Christoph Haase Serge Haddad

Published in: CoRR (2015)

Keyphrases

real time
three dimensional
databases
video sequences
computational complexity
active learning