Sciweavers

479 search results - page 61 / 96
» Discrepancy Analysis of Complex Objects Using Dissimilaritie...
Sort
View
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
14 years 1 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...
VISSYM
2007
13 years 10 months ago
Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PCA
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...
STOC
2003
ACM
193views Algorithms» more  STOC 2003»
14 years 8 months ago
Space efficient dynamic stabbing with fast queries
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...
Mikkel Thorup
ACCV
2007
Springer
14 years 1 months ago
Detecting and Segmenting Un-occluded Items by Actively Casting Shadows
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 ...
SIGGRAPH
2000
ACM
14 years 5 hour ago
Surface light fields for 3D photography
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...