Login / Signup
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren.
Thomas Lock
Michael Mendler
Published in:
MBMV (1998)
Keyphrases
</>
high level
low level
higher level
information systems
image processing
case study
multiscale
digital libraries
general purpose
lower level
machine learning
semantic information
feature vectors
pairwise
pattern recognition
multimedia
feature selection