A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking
Xia Wang, Jun Liu, Samuel J. Moore, Chris Nugent, Yang Xu
Topics & Concepts
Hidden Markov modelComputer scienceProbabilistic logicContext (archaeology)Markov chainBluetoothAnomaly detectionArtificial intelligenceSequence (biology)Machine learningActivity recognitionModel checkingData miningTheoretical computer scienceWirelessGeneticsBiologyPaleontologyTelecommunicationsContext-Aware Activity Recognition SystemsHealthcare Technology and Patient MonitoringIoT and Edge/Fog Computing