Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
In this paper, we present a physically-based simulation framework to build up real-time Minimally invasive surgery (MIS) simulators using pointbased techniques. In our framework, s...
Abstract— We present a novel vision-based grasp point detection algorithm that can reliably detect the corners of a piece of cloth, using only geometric cues that are robust to v...
Jeremy Maitin-Shepard, Marco Cusumano-Towner, Jinn...
This paper presents GasSense, a low-cost, single-point sensing solution for automatically identifying gas use down to its source (e.g., water heater, furnace, fireplace). This work...
Gabe Cohn, Sidhant Gupta, Jon Froehlich, Eric Lars...
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu,...