Live synthesis.

Bernd Finkbeiner Felix Klein Niklas Metzger

Published in: Innov. Syst. Softw. Eng. (2022)

Keyphrases

real time
program synthesis
database
databases
digital libraries
mobile robot
live video
genetic algorithm
learning algorithm
artificial intelligence
feature selection
decision making
video sequences
hidden markov models
historical stream data