11328 search results - page 18 / 2266 » Timed Branching Processes |
71
Voted
CI
1998
15 years 1 months ago
1998
DC
1998
15 years 1 months ago
1998
156
click to vote
DLT
2009
14 years 11 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
115
click to vote
ISBI
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...
108
Voted
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...