187 search results - page 18 / 38 » Towards Measurable Types for Dynamical Process Modeling Lang... |
WOTUG
2007
13 years 10 months ago
2007
Abstract. A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expres...
AIM
2006
13 years 10 months ago
2006
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
Dynamic events can be regarded as long-term temporal objects, which are characterized by spatio-temporal features at multiple temporal scales. Based on this, we design a simple st...
ANSOFT
2002
13 years 8 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
IVC
2002
13 years 8 months ago
2002
The classification of human body motion is an integral component for the automatic interpretation of video sequences. In a first part we present an effective approach that uses mi...