1788 search results - page 228 / 358 » Model Theory for Process Algebra |
147
click to vote
ECIS
2000
15 years 5 months ago
2000
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
137
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we analyze the formation of blocking artifacts as a result of quantization of the discrete cosine transform (DCT) coefficients. These artifacts are known to be the ...
126
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
Abstract - Multihypothesis motion-compensated prediction (MHMCP) approach has shown significant gain in terms of coding efficiency both in theory and practice. However, the fact th...
131
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
123
click to vote
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...