3342 search results - page 289 / 669 » Automating Abstract Interpretation |
132
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...
104
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The K2 metric is a well-known evaluation measure (or scoring function) for learning Bayesian networks from data [7]. It is derived by assuming uniform prior distributions...
143
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difficult primarily due to the need to perform dynamic-pr...
151
Voted
LOPSTR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...