Sciweavers

2509 search results - page 75 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
152
Voted
CVPR
2009
IEEE
16 years 8 months ago
A Projective Framework for Radiometric Image Analysis
Different materials reflect light in different ways, and reflectance interacts with shape, lighting, and viewpoint to determine an object’s image. Common materials exhibit dive...
Ping Tan (National University of Singapore), Todd ...
ECCV
2006
Springer
16 years 2 months ago
Cyclostationary Processes on Shape Spaces for Gait-Based Recognition
Abstract. We present a geometric and statistical approach to gaitbased human recognition. The novelty here is to consider observations of gait, considered as planar silhouettes, to...
David Kaziska, Anuj Srivastava
STOC
2004
ACM
177views Algorithms» more  STOC 2004»
16 years 29 days ago
Lower bounds for linear degeneracy testing
Abstract. In the late nineties, Erickson proved a remarkable lower bound on the decision tree complexity of one of the central problems of computational geometry: given n numbers, ...
Nir Ailon, Bernard Chazelle
DAC
1994
ACM
15 years 4 months ago
Chain Closure: A Problem in Molecular CAD
Conformational analysis is the problem of nding all minimal energy three-dimensional con gurations of molecules. Cyclic structures are of particular interest. An ecient algorithm...
Maria Domenica Di Benedetto, Pasquale Lucibello, A...
117
Voted
DAC
1996
ACM
15 years 4 months ago
Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
Eric Verlind, Gjalt G. de Jong, Bill Lin