949 search results - page 103 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
AI
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper investigates the methods for learning predictive classifiers based on Bayesian belief networks (BN) – primarily unrestricted Bayesian networks and Bayesian m...
ACCV
2010
Springer
13 years 3 months ago
2010
Springer
The Viewing Graph [1] represents several views linked by the corresponding fundamental matrices, estimated pairwise. Given a Viewing Graph, the tuples of consistent camera matrices...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper, we propose an original hybrid statistical-structural method for on-line Chinese character recognition. We model characters thanks to fuzzy inference rules combining...
FLAIRS
2000
13 years 10 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
IPL
2007
13 years 8 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...