Sign in
Hubs for VirtuosoNext: Online verification of real-time coordinators.
Guillermina Cledou
José Proença
Bernhard H. C. Sputh
Eric Verhulst
Published in:
Sci. Comput. Program. (2021)
Keyphrases
</>
real time
online learning
vision system
low cost
model checking
face verification
real time systems
signature verification
data sets
image sequences
control system
high speed
online algorithms