10 search results - page 1 / 2 » A Framework for Kleene Algebra with an Embedded Structure |
RELMICS
2005
Springer
13 years 10 months ago
2005
Springer
AI
2008
Springer
13 years 5 months ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
CAI
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
AFPAC
2000
Springer
13 years 9 months ago
2000
Springer
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
EMSOFT
2004
Springer
13 years 10 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...