Login / Signup
Symbolic system synthesis in the presence of stringent real-time constraints.
Felix Reimann
Martin Lukasiewycz
Michael Glaß
Christian Haubelt
Jürgen Teich
Published in:
DAC (2011)
Keyphrases
</>
real time
database
low cost
geometric constraints
constrained optimization
case study
vision system
constraint satisfaction
linear constraints
machine learning
knowledge base
constraint programming
global constraints
multiple constraints