11436 search results - page 156 / 2288 » Modeling Real Reasoning |
CICLING
2008
Springer
15 years 5 months ago
2008
Springer
The trigram-based noisy-channel model of real-word spelling-error correction that was presented by Mays, Damerau, and Mercer in 1991 has never been adequately evaluated or compare...
114
click to vote
ICFP
2003
ACM
15 years 8 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
137
click to vote
UAI
2001
15 years 4 months ago
2001
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability ...
136
click to vote
NC
1998
15 years 4 months ago
1998
: This paper describes a system, which integrates Neural Network (NN) models into adaptation circle of Case-based Reasoning (CBR) system. Neural Network supported adaptation can pr...
149
click to vote
ENTCS
2006
15 years 3 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...