Sciweavers

598 search results - page 43 / 120
» Generic Trace Theory
Sort
View
ICCV
1998
IEEE
14 years 2 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»
13 years 10 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»
13 years 10 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
13 years 11 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
IJCV
2008
165views more  IJCV 2008»
13 years 10 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