4353 search results - page 88 / 871 » Expressiveness of Process Algebras |
222
click to vote
TGC
2010
Springer
15 years 1 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
121
Voted
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
160
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
138
Voted
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
133
click to vote
3DPH
2009
15 years 1 months ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...