1169 search results - page 130 / 234 » Degrees of monotone complexity |
134
click to vote
LOGCOM
2010
15 years 3 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...
151
click to vote
ASIACRYPT
2010
Springer
15 years 2 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...
155
click to vote
FORMATS
2010
Springer
15 years 2 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...
158
click to vote
IPPS
2010
IEEE
15 years 2 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...
156
Voted
IPPS
2010
IEEE
15 years 2 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...