Video manipulation techniques for the protection of privacy in remote presence systems A Hubers, E Andrulis, WD Smart, L Scott, T Stirrat, D Tran, R Zhang, ... Proceedings of the Tenth Annual ACM/IEEE International Conference on Human …, 2015 | 23 | 2015 |
Using video manipulation to protect privacy in remote presence systems A Hubers, E Andrulis, L Scott, T Stirrat, R Zhang, R Sowell, M Rueben, ... Social Robotics: 7th International Conference, ICSR 2015, Paris, France …, 2015 | 13 | 2015 |
Sketched floor plans versus SLAM maps: A comparison L Bowen-Biggs, S Dazo, Y Zhang, A Hubers, M Rueben, R Sowell, ... arXiv preprint arXiv:1606.04836, 2016 | 4 | 2016 |
A Method for establishing correspondences between hand-drawn and sensor-generated maps L Bowen-Biggs, S Dazo, Y Zhang, A Hubers, M Rueben, R Sowell, ... Social Robotics: 8th International Conference, ICSR 2016, Kansas City, MO …, 2016 | 4 | 2016 |
Generic programming with extensible data types: Or, making ad hoc extensible data types less ad hoc A Hubers, JG Morris Proceedings of the ACM on Programming Languages 7 (ICFP), 356-384, 2023 | 3 | 2023 |
Partial type constructors in practice A Ingle, A Hubers, JG Morris Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 95-107, 2022 | 2 | 2022 |
A type-based approach to divide-and-conquer recursion in coq P Abreu, B Delaware, A Hubers, C Jenkins, JG Morris, A Stump Proceedings of the ACM on Programming Languages 7 (POPL), 61-90, 2023 | 1 | 2023 |