Showing results 1 to 2 of 2
Directed Model Checking for Fast Abstract Reachability Analysis Lee, NakWon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon, IEEE ACCESS, v.9, pp.158738 - 158750, 2021-11 |
Privacy Aware Affective State Recognition From Visual Data Zitouni, M. Sami; Lee, Peter; Lee, Uichin; Hadjileontiadis, Leontios J.; Khandoker, Ahsan, IEEE ACCESS, v.10, pp.40620 - 40628, 2022 |
Discover