Login / Signup
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Antonio Filieri
Marta Kwiatkowska
Sasa Misailovic
Todd Mytkowicz
Published in:
Dagstuhl Reports (2015)
Keyphrases
</>
case study
computer aided
formal verification
data sets
formal methods
knowledge based systems
design process
design decisions
user experience
coding scheme
information theoretic
vector quantization
database
probabilistic model
control system
knowledge base
databases
real time