Towards Standardized Mizar Environments.

Published in: ISAT (2) (2017)

Keyphrases

computer assisted
highly dynamic
databases
real world
database systems
wide range
management system
artificial intelligence
image processing
website
image sequences
similarity measure
wireless sensor networks
dynamic environments
computing environments