13827 search results - page 2482 / 2766 » The state of artificial intelligence |
171
Voted
CSL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...
218
Voted
CSL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
205
click to vote
CSL
2009
Springer
16 years 2 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
204
Voted
ECSQARU
2009
Springer
16 years 2 months ago
2009
Springer
To explore the Perturb and Combine idea for estimating probability densities, we study mixtures of tree structured Markov networks derived by bagging combined with the Chow and Liu...
194
click to vote
ECSQARU
2009
Springer
16 years 2 months ago
2009
Springer
Decision making amounts to define a preorder (usually a complete one) on a set of options. Argumentation has been introduced in decision making analysis. In particular, an argumen...