22018 search results - page 4131 / 4404 » or 2004 |
145
click to vote
AISC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
179
click to vote
AMAI
2004
Springer
16 years 2 days ago
2004
Springer
Learning the parameters (conditional and marginal probabilities) from a data set is a common method of building a belief network. Consider the situation where we have known graph s...
166
click to vote
AMAI
2004
Springer
16 years 2 days ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
200
click to vote
AMAI
2004
Springer
16 years 2 days ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
175
click to vote
AMAI
2004
Springer
16 years 2 days ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...