Login / Signup
A Practical Approach to Partial Functions in CVC Lite.
Sergey Berezin
Clark W. Barrett
Igor Shikanian
Marsha Chechik
Arie Gurfinkel
David L. Dill
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
neural network
information technology
mathematical functions
data sets
learning algorithm
information systems
decision making
image processing
database systems
face recognition
video sequences
special case
management system
linear combination
basis functions