7988 search results - page 283 / 1598 » A Useful Undecidable Theory |
144
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we use resource-bounded dimension theory to investigate polynomial size circuits. We show that for every i 0, P/poly has ith-order scaled p3 -strong dimension 0. W...
137
click to vote
DC
2000
15 years 5 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
111
click to vote
MOC
2000
15 years 5 months ago
2000
Resolutions of cusp singularities are crucial to many techniques in computational number theory, and therefore finding explicit resolutions of these singularities has been the focu...
125
Voted
NGC
2002
Springer
15 years 5 months ago
2002
Springer
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...
114
click to vote
SYNTHESE
2010
15 years 3 months ago
2010
“Bayesian probability” here means the concept of probability used in Bayesian decision theory. It is usually identified with the agent’s degrees of belief but that interpret...