1224 search results - page 38 / 245 » Theory decision by decomposition |
MP
2011
13 years 4 months ago
2011
We propose a number of techniques for obtaining a global ranking from data that may be incomplete and imbalanced — characteristics that are almost universal to modern datasets co...
JIS
2008
13 years 10 months ago
2008
In this article, theories of human judgement and decision making are reviewed and their use by library and information science researchers examined. A different perspective on jud...
IANDC
2008
13 years 10 months ago
2008
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...
BIRTHDAY
2008
Springer
13 years 12 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
RTA
2005
Springer
14 years 3 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...