Sciweavers

1192 search results - page 151 / 239
» Surfaces with polar structure
Sort
View
CSL
2005
Springer
16 years 6 hour ago
Permutative Logic
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
ICIAR
2005
Springer
15 years 12 months ago
A Novel Tracking Framework Using Kalman Filtering and Elastic Matching
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
Xingzhi Luo, Suchendra M. Bhandarkar
CVPR
2003
IEEE
15 years 11 months ago
ROD-TV: Reconstruction on Demand by Tensor Voting
A “graphics for vision” approach is proposed to address the problem of reconstruction from a large and imperfect data set: reconstruction on demand by tensor voting, or ROD-TV...
Wai-Shun Tong, Chi-Keung Tang
COMPGEOM
2010
ACM
15 years 11 months ago
Output-sensitive algorithm for the edge-width of an embedded graph
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
Sergio Cabello, Éric Colin de Verdiè...
CVPR
2010
IEEE
15 years 10 months ago
Refinement of Digital Elevation Models from Shadowing Cues
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
James Hogan, William Smith