Login / Signup
Coinductive Soundness of Corecursive Type Class Resolution.
Frantisek Farka
Ekaterina Komendantskaya
Kevin Hammond
Peng Fu
Published in:
CoRR (2016)
Keyphrases
</>
databases
neural network
high quality
low resolution
multi class classification
real time
machine learning
image processing
support vector
multiresolution
high resolution
object classes
finite number