Sciweavers

4485 search results - page 26 / 897
» Equivalences on Observable Processes
Sort
View
CSDA
2010
75views more  CSDA 2010»
14 years 12 months ago
Clustering of discretely observed diffusion processes
Alessandro De Gregorio, Stefano Maria Iacus
77
Voted
CORR
2008
Springer
76views Education» more  CORR 2008»
14 years 12 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»
14 years 9 months ago
A Behavior Adaptation Algorithm based on Hierarchical Partially Observable Markov Decision Process
Yong Tao, Tianmiao Wang, Hongxing Wei, Peijiang Yu...
INFORMATICASI
2010
14 years 9 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»
15 years 5 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