488 search results - page 45 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
113
click to vote
AAAI
2008
15 years 1 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
IJCAI
2003
15 years 15 days ago
2003
Efficient implementations of DPLL with the addition of clause learning are the fastest complete satisfiability solvers and can handle many significant real-world problems, such as...
105
click to vote
IJCAI
2003
15 years 15 days ago
2003
Hyperlink analysis is a successful approach to define algorithms which compute the relevance of a document on the basis of the citation graph. In this paper we propose a technique...
101
click to vote
ANLP
1994
15 years 13 days ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we propose a Bayesian framework for XCS [9], called BXCS. Following [4], we use probability distributions to represent the uncertainty over the classifier estimates ...