297 citations · 545 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017
Computing Maximal Expected Termination Time of Probabilistic Timed Automata
Omar Al-Bataineh, Michael Fisher, David Rosenblum
The paper addresses the problem of computing maximal expected time to termination of probabilistic timed automata (PTA) models, under the condition that the system will, eventually…
stat.ML2017
An Interval-Based Bayesian Generative Model for Human Complex Activity Recognition
Li Liu, Yongzhong Yang, Lakshmi Narasimhan Govindarajan +4
Complex activity recognition is challenging due to the inherent uncertainty and diversity of performing a complex activity. Normally, each instance of a complex activity has its ow…