1638 search results - page 187 / 328 » Properties of input-consuming derivations |
172
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In [1], we presented the algebraic signal processing theory, an axiomatic and general framework for linear signal processing. The basic concept in this theory is the signal model d...
164
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We show that physical devices that perform observation, prediction, or recollection share an underlying mathematical structure. We call devices with that structure “inference de...
168
click to vote
CSDA
2007
15 years 6 months ago
2007
The knowledge of the state sequences that explain a given observed sequence for a known hidden Markovian model is the basis of various methods that may be divided into three categ...
183
click to vote
JCB
2006
15 years 6 months ago
2006
Maximum likelihood (ML) is increasingly used as an optimality criterion for selecting evolutionary trees, but finding the global optimum is a hard computational task. Because no g...
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...