6355 search results - page 1080 / 1271 » From Logic to Games |
190
click to vote
POLICY
2007
Springer
16 years 21 days ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
154
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
188
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
166
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
GridVine is a Peer Data Management System based on a decentralized access structure. Built following the principle of data independence, it separates a logical layer – where dat...
148
click to vote
WILF
2007
Springer
16 years 20 days ago
2007
Springer
The standard approach to information entropy applied to partitions of a universe is equivalently formulated as the entropy of the corresponding crisp identity resolutions, interpre...