14084 search results - page 163 / 2817 » A Theory for Game Theories |
JSYML
2006
13 years 8 months ago
2006
Abstract. Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.
JSYML
2006
13 years 8 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
JSYML
2000
13 years 8 months ago
2000
We deal with several pcf problems; we characterize another version of exponentiation: number of -branches in a tree with nodes, deal with existence of independent sets in stable t...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
The efficiency of three tracking reliability metrics based on information theory and normalized correlation is examined in this paper. The two information theory tools used for th...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...