A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems.

Ijaz Uddin Abdur Rakib Hafiz Mahfooz Ul Haque

Published in: Mob. Networks Appl. (2017)

Keyphrases

resource bounded
smart spaces
meta level
computer vision
intelligent systems
action recognition
information gathering