Towards Efficient Verification of Elementary Object Systems.

Ismaila Jihad Abdullahi Berndt Müller

Published in: CS&P (2016)

Keyphrases

expert systems
intelligent systems
asynchronous circuits
management system
information retrieval
complex systems
learning algorithm
knowledge base
website
knowledge based systems
partial occlusion
multimodal biometrics