1788 search results - page 101 / 358 » Model Theory for Process Algebra |
108
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
185
Voted
ICDE
1999
IEEE
16 years 2 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
94
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
104
Voted
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
94
Voted
ICASSP
2009
IEEE
15 years 4 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...