Sciweavers

598 search results - page 43 / 120
» Generic Trace Theory
Sort
View
ICCV
1998
IEEE
15 years 7 months ago
Hyperbolic "Smoothing" of Shapes
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...
Kaleem Siddiqi, Allen Tannenbaum, Steven W. Zucker
JSYML
2008
72views more  JSYML 2008»
15 years 3 months ago
Perfect trees and elementary embeddings
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
Sy-David Friedman, Katherine Thompson
SYNTHESE
2008
66views more  SYNTHESE 2008»
15 years 3 months ago
Structural realism and Davidson
Structural realism is an attempt to balance the competing demands of the No Miracles Argument and the Pessimistic Meta-Induction. In this paper I trace the development of the struc...
Jack Ritchie
SPLC
2007
15 years 4 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry
110
Voted
IJCV
2008
165views more  IJCV 2008»
15 years 3 months ago
Perceptual Scale-Space and Its Applications
In this paper, we study a perceptual scale space by constructing a so-called sketch pyramid which augments the Gaussian and Laplacian pyramid representations in traditional image ...
Yizhou Wang, Song Chun Zhu