1224 search results - page 87 / 245 » Theory decision by decomposition |
111
Voted
ENTCS
2006
15 years 21 days ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
94
Voted
SYNTHESE
2010
14 years 11 months ago
2010
In the Newcomb problem, the standard arguments for taking either one box or both boxes adduce what seem to be relevant considerations, but they are not complete arguments, and att...
101
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Today’s case based reasoning applications face several challenges. In a typical application, the case bases grow at a very fast rate and their contents become increasin...
107
click to vote
MIE
2008
15 years 2 months ago
2008
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
105
click to vote
TR
2010
14 years 7 months ago
2010
This paper reports on a theoretical Bayesian modeling development for residual life prediction in the context of condition-based maintenance. At each monitoring point during a comp...