Purpose The interaction with interventional imaging systems within a sterile environment is a challenging task for physicians. Direct physician-machine interaction during an inter...
In this paper, we redesign and simplify an algorithm due to Remy et al. for the generation of rooted planar trees that satisfies a given partition of degrees. This new version is ...
In this paper we devise a new algorithm for completing surface with missing geometry and topology founded upon the theory and techniques of sparse signal recovery. The key intuiti...
We present a precise contact motion planning algorithm for a deformable robot in a planar environment with stationary obstacles. The robot and obstacles are both represented with ...
This paper studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their ...
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Ar...
We present a perspective on the societal accomplishments, recent cultural shifts, challenges, and opportunities in spatial computing based on the discussions at the 2012 Computing...
Every few years a group of database researchers meets to discuss the state of database research, its impact on practice, and important new directions. This report summarizes the d...
Daniel Abadi, Rakesh Agrawal, Anastasia Ailamaki, ...