2167 search results - page 203 / 434 » Stochastic Process Algebras |
182
click to vote
TABLEAUX
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
136
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
174
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In low bit-rate coders, the near-sample and far-sample redundancies of the speech signal are usually removed by a cascade of a shortterm and a long-term linear predictor. These tw...
168
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Omnidirectional vision is highly beneficial for robot navigation. We present a novel perspective pose estimation for omnidirectional vision involving a parabolic central ...
158
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Comparative analysis of the threshold SNR and/or sample support values where genuine maximum likelihood DOA estimation starts to produce “outliers” is conducted for unconditio...