673 search results - page 24 / 135 » Approximate coherence-based reasoning |
102
click to vote
GIS
1999
ACM
15 years 6 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...
207
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
118
Voted
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different method...
109
click to vote
JMLR
2006
15 years 1 months ago
2006
In many pattern recognition/classification problem the true class conditional model and class probabilities are approximated for reasons of reducing complexity and/or of statistic...
MOC
2002
15 years 1 months ago
2002
This paper is concerned with the stability of rational one-step approximations of C0 semigroups. Particular emphasis is laid on long-term stability bounds. The analysis is based on...