43 citations · 62 across the 10 of their papers we have counts for
Showing cs.CYShow all
2 papers · 1 filter
cs.CY2020★ 1 cited
MFED: A System for Monitoring Family Eating Dynamics
Md Abu Sayeed Mondol, Brooke Bell, Meiyi Ma +7
Obesity is a risk factor for many health issues, including heart disease, diabetes, osteoarthritis, and certain cancers. One of the primary behavioral causes, dietary intake, has p…
cs.CY2019
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland +2
We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first descr…