4353 search results - page 239 / 871 » Expressiveness of Process Algebras |
152
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We identify a necessary condition for when a given BPP process can be expressed as a BPA process. We provide an effective procedure for testing if this condition holds of a given B...
165
click to vote
IDA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Microarrays allow biologists to determine the gene expressions for tens of thousands of genes simultaneously, however due to biological processes, the resulting microarra...
145
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
141
click to vote
EWSPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Patterns are now widely used for describing software designs. However, they may also be used to describe process structure rather than the product structure. This may be ...
152
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
A method for Gaussian process learning of a scalar function from a set of pair-wise order relationships is presented. Expectation propagation is used to obtain an approximation to...