Login / Signup
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.
Johannes Kanig
Roderick Chapman
Cyrille Comar
Jérôme Guitton
Yannick Moy
Emyr Rees
Published in:
TAP@STAF (2014)
Keyphrases
</>
simplifying assumptions
real time
data sets
pattern recognition
neural network
artificial intelligence
feature selection
feature extraction
cooperative
multi agent systems
computational complexity
restrictive assumptions
explicitly represented