C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.
Arlen Cox
Bor-Yuh Evan Chang
Sriram Sankaranarayanan
Published in:
CAV (2014)
Keyphrases
</>
credit assignment
decision trees
nearest neighbor
parametric models