2 papers
cs.LO2023
Invariant Relations: A Bridge from Programs to Equations
Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick +1
Great advances in program analysis would be enabled if it were possible to derive the function of a program from inputs to outputs (or from initial states to final states, dependin…
cs.LG2023
Zone-based Federated Learning for Mobile Sensing Data
Xiaopeng Jiang, Thinh On, NhatHai Phan +5
Mobile apps, such as mHealth and wellness applications, can benefit from deep learning (DL) models trained with mobile sensing data collected by smart phones or wearable devices. H…