2722 search results - page 58 / 545 » The Model Evolution Calculus |
SSIAI
2002
IEEE
14 years 27 days ago
2002
IEEE
This paper introduces an active contour or snakebased method for tracking cells within a video sequence. Specifically, we apply our cell tracking techniques to rolling leukocytes ...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
ACM Sigcomm 2006 published a paper [26] which was perceived to unify the deterministic and stochastic branches of the network calculus (abbreviated throughout as DNC and SNC) [39]...
NHM
2010
13 years 2 months ago
2010
A quasistatic evolution problem for a phase transition model with nonconvex energy density is considered in terms of Young measures. We focus on the particular case of a finite num...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
SLP
1994
13 years 9 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...