Rodin Platform Why3 Plug-In.

Alexei Iliasov Paulius Stankaitis David Adjepon-Yamoah Alexander B. Romanovsky

Published in: ABZ (2016)

Keyphrases

real time
computer vision
artificial intelligence
support vector
social networks
image processing
multimedia
three dimensional
bayesian networks
relational databases
mobile applications
computing platform
distributed architecture