Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...
Alexander Broersen, Robert van Liere, Ron M. A. He...
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
We present a simple and practical approach for segmenting un-occluded items in a scene by actively casting shadows. By ’items’, we refer to objects (or part of objects) enclose...
Tze Ki Koh, Amit K. Agrawal, Ramesh Raskar, Steve ...
A surface light field is a function that assigns a color to each ray originating on a surface. Surface light fields are well suited to constructing virtual images of shiny objec...
Daniel N. Wood, Daniel I. Azuma, Ken Aldinger, Bri...