Sciweavers

1236 search results - page 224 / 248
» Prefix-Like Complexities and Computability in the Limit
Sort
View
IFIP13
2004
14 years 11 months ago
The Team-Based Operation of Safety-Critical Programmable Systems
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA's Aviation Safety Rep...
C. W. Johnson
WSC
2004
14 years 11 months ago
Approximating Component Selection
Simulation composability is a difficult capability to achieve due to the challenges of creating components, selecting combinations of components, and integrating the selected comp...
Michael Roy Fox, David C. Brogan, Paul F. Reynolds...
AAAI
2000
14 years 11 months ago
Making Rational Decisions Using Adaptive Utility Elicitation
Rational decision making requires full knowledge of the utility function of the person affected by the decisions. However, in many cases, the task of acquiring such knowledge is n...
Urszula Chajewska, Daphne Koller, Ronald Parr
AAAI
1996
14 years 11 months ago
Scaling Up Explanation Generation: Large-Scale Knowledge Bases and Empirical Studies
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...
James C. Lester, Bruce W. Porter
AIPS
2009
14 years 11 months ago
Structural-Pattern Databases
abstraction heuristics, notably pattern-database and merge-and-shrink heuristics, are employed by some state-ofthe-art optimal heuristic-search planners. The major limitation of t...
Michael Katz, Carmel Domshlak