Login / Signup
Theory Refinement for Program Verification.
Antti E. J. Hyvärinen
Sepideh Asadi
Karine Even-Mendoza
Grigory Fedyukovich
Hana Chockler
Natasha Sharygina
Published in:
SAT (2017)
Keyphrases
</>
artificial intelligence
theoretical framework
decision theory
similarity measure
theoretical foundation
data sets
feature selection
multimedia
three dimensional
face recognition
general theory