14084 search results - page 197 / 2817 » A Theory for Game Theories |
181
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
180
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
167
click to vote
AC
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a summary of the issues discussed during the one day workshop on "Support Vector Machines (SVM) Theory and Applications" organized as part of the Adv...
157
click to vote
QCQC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. An investigation of Einstein's "physical" reality and the concept of quantum reality in terms of information theory suggests a solution to quantum paradoxe...
181
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements knownformodelelim...