1169 search results - page 130 / 234 » Degrees of monotone complexity |
LOGCOM
2010
14 years 11 months ago
2010
The logic of proofs (LP) was proposed as Gödel’s missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for LPhave not explored this cl...
112
click to vote
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We describe two improvements to Gentry's fully homomorphic scheme based on ideal lattices and its analysis: we provide a more aggressive analysis of one of the hardn...
118
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
116
click to vote
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...
111
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we investigate the roles of replication vs. repair to achieve durability in large-scale distributed storage systems. Specifically, we address the fundamental questio...