2 citations · 3 across the 3 of their papers we have counts for
3 papers
Abstracting Extensible Recursive Functions
Alex Hubers, Apoorv Ingle, Andrew Marmaduke +1
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features including rec…
Sketched Floor plans versus SLAM maps: A Comparison
Leo Bowen-Biggs, Suzanne Dazo, Yili Zhang +5
Maps --- specifically floor plans --- are useful for a variety of tasks from arranging furniture to designating conceptual or functional spaces (e.g., kitchen, walkway). We present…
Video Manipulation Techniques for the Protection of Privacy in Remote Presence Systems
Alexander Hubers, Emily Andrulis, Levi Scott +6
Systems that give control of a mobile robot to a remote user raise privacy concerns about what the remote user can see and do through the robot. We aim to preserve some of that pri…