Sciweavers

4485 search results - page 26 / 897
» Equivalences on Observable Processes
Sort
View
CSDA
2010
75views more  CSDA 2010»
13 years 8 months ago
Clustering of discretely observed diffusion processes
Alessandro De Gregorio, Stefano Maria Iacus
CORR
2008
Springer
76views Education» more  CORR 2008»
13 years 8 months ago
Collaborative process control: Observation of tracks generated by PLM system
Soumaya El Kadiri, Philippe Pernelle, Miguel Delat...
IJIIP
2010
91views more  IJIIP 2010»
13 years 5 months ago
A Behavior Adaptation Algorithm based on Hierarchical Partially Observable Markov Decision Process
Yong Tao, Tianmiao Wang, Hongxing Wei, Peijiang Yu...
INFORMATICASI
2010
13 years 5 months ago
Earth Observation Data Processing in Distributed Systems
Dana Petcu, Silviu Panica, Marian Neagul, Marc Fr&...
CALCO
2005
Springer
76views Mathematics» more  CALCO 2005»
14 years 2 months ago
Strong Splitting Bisimulation Equivalence
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
Jan A. Bergstra, C. A. Middelburg