289 search results - page 2 / 58 » Timed, Distributed, Probabilistic, Typed Processes |
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
ACSD
2008
IEEE
13 years 6 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
CVPR
2003
IEEE
14 years 6 months ago
2003
IEEE
In this paper we present a probabilistic framework for tracking regions based on their appearance. We exploit the feature-spatial distribution of a region representing an object a...
ICDE
2006
IEEE
14 years 5 months ago
2006
IEEE
In applications of biometric databases the typical task is to identify individuals according to features which are not exactly known. Reasons for this inexactness are varying meas...
WSC
2004
13 years 5 months ago
2004
Existing research has defined a new type of simulation time called Approximate Time, where the simulation's knowledge about the values that represent time is uncertain. The a...