Cooperation of KeTCindy and Computer Algebra System.

Shigeki Kobayashi Setsuo Takato

Published in: ICMS (2016)

Keyphrases

computer algebra
cooperative
theorem prover
multi agent systems
multi agent
information exchange
video sequences
supervised learning
wireless sensor networks
information technology
database
data structure
bayesian networks
multimedia
image processing
computer vision
machine learning
real time