Sciweavers

1236 search results - page 176 / 248
» On the Hamkins approximation property
Sort
View
EMMCVPR
2005
Springer
15 years 11 months ago
Stereo for Slanted Surfaces: First Order Disparities and Normal Consistency
Traditional stereo algorithms either explicitly use the frontal parallel plane assumption by only considering position (zero-order) disparity when computing similarity measures of ...
Gang Li, Steven W. Zucker
EMMCVPR
2005
Springer
15 years 11 months ago
Brain Image Analysis Using Spherical Splines
We propose a novel technique based on spherical splines for brain surface representation and analysis. This research is strongly inspired by the fact that, for brain surfaces, it i...
Ying He 0001, Xin Li, Xianfeng Gu, Hong Qin
ISMIR
2005
Springer
164views Music» more  ISMIR 2005»
15 years 11 months ago
Theory and Evaluation of a Bayesian Music Structure Extractor
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...
Samer A. Abdallah, Katy Noland, Mark B. Sandler, M...
SSD
2005
Springer
98views Database» more  SSD 2005»
15 years 11 months ago
Medoid Queries in Large Spatial Databases
Assume that a franchise plans to open k branches in a city, so that the average distance from each residential block to the closest branch is minimized. This is an instance of the ...
Kyriakos Mouratidis, Dimitris Papadias, Spiros Pap...
TLCA
2005
Springer
15 years 11 months ago
Continuity and Discontinuity in Lambda Calculus
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
Paula Severi, Fer-Jan de Vries