36 search results - page 1 / 8 » The Universal Resolving Algorithm: Inverse Computation in a ... |
MPC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
55
Voted
SCP
2002
14 years 9 months ago
2002
We present an algorithm for inverse computation in a
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
Valiant’s theory of holographic algorithms is a novel methodology to achieve exponential speedups in computation. A fundamental parameter in holographic algorithms is the dimens...
68
Voted
MICS
2007
14 years 9 months ago
2007
An alternative to Lagrange inversion for solving analytic systems is our technique of dual vector fields. We implement this approach using matrix multiplication that provides a f...
78
Voted
FUIN
2010
14 years 8 months ago
2010
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...