200 search results - page 29 / 40 » Symbolic Equivalences for Open Systems |
179
click to vote
ENTCS
2007
15 years 5 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
193
click to vote
TWC
2010
15 years 15 days ago
2010
In this paper, we study multi-hop non-regenerative multiple-input multiple-output (MIMO) relay communications with any number of hops. We design the optimal source precoding matrix...
141
click to vote
ISSAC
2007
Springer
15 years 12 months ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
163
click to vote
DIGRA
2005
Springer
15 years 11 months ago
2005
Springer
An examination of the contributions that can be made by the field of non-mechanistic cybernetics (as elaborated by Gregory Bateson and Anthony Wilden) to a theory of videogames th...
147
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...