Sciweavers

30 search results - page 1 / 6
» The universal resolving algorithm and its correctness: inver...
Sort
View
SCP
2002
59views more  SCP 2002»
13 years 4 months ago
The universal resolving algorithm and its correctness: inverse computation in a functional language
We present an algorithm for inverse computation in a
Sergei M. Abramov, Robert Glück
MPC
2000
Springer
105views Mathematics» more  MPC 2000»
13 years 8 months ago
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
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...
Sergei M. Abramov, Robert Glück
ESOP
2010
Springer
14 years 3 days ago
A Universal Calculus for Stream Processing Languages
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
Robert Soulé, Martin Hirzel, Robert Grimm, ...
IJCNN
2006
IEEE
13 years 11 months ago
High-speed Bi-directional Function Approximation using Plausible Neural Networks
— This paper applies a recently developed neural network called plausible neural network (PNN) to function approximation. Instead of using error correction, PNN estimates the mut...
Kuo-Chen Li, Dar-Jen Chang, Yuan Yan Chen
CORR
2008
Springer
110views Education» more  CORR 2008»
13 years 5 months ago
Trimmed Moebius Inversion and Graphs of Bounded Degree
We study ways to expedite Yates's algorithm for computing the zeta and Moebius transforms of a function defined on the subset lattice. We develop a trimmed variant of Moebius ...
Andreas Björklund, Thore Husfeldt, Petteri Ka...