7 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.HC2024★ 1 cited
Optimizing Emotion Recognition with Wearable Sensor Data: Unveiling Patterns in Body Movements and Heart Rate through Random Forest Hyperparameter Tuning
Zikri Kholifah Nur, Rifki Wijaya, Gia Septiana Wulandari
This research delves into the utilization of smartwatch sensor data and heart rate monitoring to discern individual emotions based on body movement and heart rate. Emotions play a…
cs.LO2020★ 7 cited
Verifying Graph Programs with First-Order Logic
Gia S. Wulandari, Detlef Plump
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph…
cs.LO2020★ 1 cited
Verifying Graph Programs with First-Order Logic (Extended Version)
Gia Wulandari, Detlef Plump
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph…