2730 search results - page 270 / 546 » An Abstract Model for Process Mediation |
140
click to vote
ACRI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
136
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
181
click to vote
ICA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We proposed recently a new method for separating linearquadratic mixtures of independent real sources, based on parametric identification of a recurrent separating struc...
148
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
145
click to vote
IDA
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper introduces a Bayesian method for clustering dynamic processes and applies it to the characterization of the dynamics of a military scenario. The method models ...