2214 search results - page 189 / 443 » Complexity of Reasoning |
149
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
105
Voted
UAI
2004
15 years 5 months ago
2004
We present a major improvement to the incremental pruning algorithm for solving partially observable Markov decision processes. Our technique targets the cross-sum step of the dyn...
120
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
129
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
143
Voted
CINQ
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...