Towards a Combination of CafeOBJ and PAT.

Yongxin Zhao Jin Song Dong Yang Liu Jun Sun

Published in: Specification, Algebra, and Software (2014)

Keyphrases

neural network
multiscale
special case
databases
real world
artificial intelligence
computer vision
pattern recognition
high dimensional