9405 search results - page 113 / 1881 » Computing a Model of Set Theory |
112
click to vote
APAL
2007
15 years 3 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
143
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
We present a novel theory for characterizing defocus blurs in multi-perspective cameras such as catadioptric mirrors. Our approach studies how multi-perspective ray geometry trans...
130
click to vote
NCA
2007
IEEE
15 years 2 months ago
2007
IEEE
Based on independent component analysis (ICA) and self-organizing maps (SOM), this paper proposes an ISOM-DH model for the incomplete data’s handling in data mining. Under these ...
APAL
1999
15 years 2 months ago
1999
We provide here the first steps toward a Classification Theory of Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categori...
132
click to vote
CAD
2007
Springer
15 years 3 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...