2620 search results - page 307 / 524 » Qualities in Possible Worlds |
162
click to vote
Publication
BitTorrent is currently one of the most popular peer-to-peer systems. BitTorrent clients are widely spread all over the world and account for a large fraction of today’s Internet...
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
189
click to vote
BC
2006
15 years 6 months ago
2006
Abstract The cerebral cortex utilizes spatiotemporal continuity in the world to help build invariant representations. In vision, these might be representations of objects. The temp...
CORR
2006
Springer
15 years 6 months ago
2006
Springer
What happens to a dictator once he is out of power is not just a matter of justice or a random result. Using game theory we show that post-power scenarios depend largely on two fac...
204
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...