2041 search results - page 107 / 409 » Modelling Generic Judgements |
146
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
110
click to vote
JSYML
2007
15 years 4 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
137
click to vote
ICCV
1998
IEEE
15 years 9 months ago
1998
IEEE
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...
114
click to vote
JSYML
2008
15 years 4 months ago
2008
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...
151
click to vote
CVPR
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we develop a theory for characterizing how deformable a shape is. We define a term called “deformability index” for shapes. The deformability index is computed ...