A Rule Verification System for Smart Buildings.

Yan Sun Tin-Yu Wu Xinming Li Mohsen Guizani

Published in: IEEE Trans. Emerg. Top. Comput. (2017)

Keyphrases

model checking
aerial images
rule generation
signature verification
neural network
machine learning
association rules
active databases
rule learning
formal verification
databases
data mining
urban environments
face verification
smart spaces
cryptographic protocols