831 search results - page 84 / 167 » Coalgebraic Correspondence Theory |
107
click to vote
CORR
2007
Springer
14 years 12 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
CSDA
2007
14 years 12 months ago
2007
A new method for separating the mixtures of independent sources has been proposed recently in [8]. This method is based on two scatter matrices with the so called independence pro...
JUCS
2008
14 years 12 months ago
2008
: Given a probability measure and a positive integer n. How to choose n knots and n weights such that the corresponding quadrature rule has the minimum worst-case error when appli...
FUIN
2007
14 years 11 months ago
2007
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class ...
SIAMCO
2008
14 years 11 months ago
2008
This paper builds a new theoretical connection between singular control of finite variation and optimal switching problems. This correspondence provides a novel method for solving ...