5964 search results - page 378 / 1193 » A theory of speculative computation |
164
click to vote
COMPGEOM
2007
ACM
15 years 11 months ago
2007
ACM
We present a continuous submetric deformation of the surface of the cube which increases the enclosed volume by about 25.67%. Categories and Subject Descriptors: I.3.5 [Computatio...
184
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
195
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we classify several algorithmic problems in group theory in the classes PZK and SZK (problems with perfect/statistical zero-knowledge proofs respectively). Prior to ...
160
click to vote
GD
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we study the k-tree partition problem which is a partition of the set of edges of a graph into k edge-disjoint trees. This problem occurs at several places with appl...
158
click to vote
WG
2000
Springer
15 years 11 months ago
2000
Springer
Several practical instances of network design and location theory problems require the network to satisfy multiple constraints. In this paper, we address graph-theoretic problems t...