2036 search results - page 310 / 408 » A generic type-and-effect system |
120
Voted
JMLR
2010
14 years 7 months ago
2010
This paper studies the feasibility and interpretation of learning the causal structure from observational data with the principles behind the Kolmogorov Minimal Sufficient Statist...
TSP
2010
14 years 7 months ago
2010
This paper considers the design of efficient quantizers for a robust distributed source coding system. The information is encoded at independent terminals and transmitted across se...
107
Voted
ATAL
2011
Springer
14 years 20 days ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
120
click to vote
CRYPTO
2011
Springer
14 years 15 days ago
2011
Springer
Very few public-key cryptosystems are known that can encrypt and decrypt in time b2+o(1) with conjectured security level 2b against conventional computers and quantum computers. Th...
131
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—This paper builds a generic modeling framework for analyzing the edge-creation process in dynamic random graphs in which nodes continuously alternate between active and inactive...