3552 search results - page 172 / 711 » Proof theory in the abstract |
172
click to vote
DSSCV
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this note we study the local behavior of singularities occurring in scale space under Gaussian blurring. Based on ideas from singularity theory for vector fields this...
194
click to vote
JCP
2007
15 years 6 months ago
2007
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
162
click to vote
SLOGICA
2010
15 years 4 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
180
click to vote
RSKT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
167
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A model of granular computing (GrC) is proposed by reformulating, re-interpreting, and combining results from rough sets, quotient space theory, and belief functions. Two...