3179 search results - page 196 / 636 » Applications of PCF Theory |
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
WEBI
2007
Springer
14 years 4 months ago
2007
Springer
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents first a review of recent advancements in the theory of knowledge creation, starting with Shinayakana Systems Approach of Sawaragi and Nakamori and The Knowledg...
SIGECOM
2005
ACM
14 years 3 months ago
2005
ACM
We determine the communication complexity of the common voting rules. The rules (sorted by their communication complexity from low to high) are plurality, plurality with runoff, ...
AIIA
2005
Springer
14 years 3 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...