4353 search results - page 188 / 871 » Expressiveness of Process Algebras |
127
click to vote
RTCSA
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
148
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Recent analyses have suggested that many genes possess multiple transcription start sites (TSSs) that are differentially utilized in different tissues and cell lines. ...
225
click to vote
ICDE
1999
IEEE
16 years 6 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...
130
click to vote
LICS
2002
IEEE
15 years 9 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...
145
click to vote
TSD
2000
Springer
15 years 8 months ago
2000
Springer
Facial expressions and speech are means to convey information. They can be used to reinforce speech or even complementary to speech. The main goal of our research is to investigate...