Towards automatic measurement of probabilistic processes

被引：0
|
作者：
Song, Lin [1 ]
Deng, Yuxin [1 ]
Cai, Xiaojuan [1 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Comp Sci, Shanghai 200240, Peoples R China
来源：
USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE | 2007年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in the process algebra is shown to satisfy, non-expansiveness property with respect to this metric. We also provide an algorithm to calculate the distance between two processes to a prescribed discount factor in polynomial time. The algorithm has been implemented in a tool that helps us to measure processes automatically.
引用
收藏
页码：50 / 59
页数：10
相关论文
共 50 条
  • [21] Testosterone biases automatic memory processes in women towards potential mates
    van Wingen, Guido
    Mattern, Claudia
    Verkes, Robbert Jan
    Buitelaar, Jan
    Fernandez, Guillen
    NEUROIMAGE, 2008, 43 (01) : 114 - 120
  • [22] Towards Gaussian Processes for Automatic and Interpretable Anomaly Detection in Industry 4.0
    Berns, Fabian
    Lange-Hegermann, Markus
    Beecks, Christian
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INNOVATIVE INTELLIGENT INDUSTRIAL PRODUCTION AND LOGISTICS (IN4PL), 2020, : 87 - 92
  • [23] Towards the automatic measurement of cashmere-fibre diameter by image analysis
    Glasbey, C.A.
    Hitchcock, D.
    Russel, A.J.F.
    Redden, H.
    1600, Textile Inst, Manchester, United Kingdom (85):
  • [24] TOWARDS THE AUTOMATIC MEASUREMENT OF HUMAN PERFORMANCE IN VIRTUAL ENVIRONMENTS FOR INDUSTRIAL SAFETY
    Colombo, Simone
    Manca, Davide
    Brambilla, Sara
    Totaro, Roberto
    Galvagni, Remo
    PROCEEDINGS OF THE ASME WORLD CONFERENCE ON INNOVATIVE VIRTUAL REALITY - 2011, 2011, : 67 - 76
  • [25] Distance Measurement with PMD Sensors ensures greater Stability in automatic Processes
    Kister, Patric
    ATP EDITION, 2011, (06): : 14 - 15
  • [26] Automatic measurement of slug flow processes from in-line videos
    Qian, Yanjun
    Hulsizer, Joel
    Mou, Mingyao
    Vega Zambrano, Consuelo
    Smith, Ema
    Jiang, Mo
    IET IMAGE PROCESSING, 2024, 18 (08) : 2038 - 2052
  • [27] Automatic Reparameterisation of Probabilistic Programs
    Gorinova, Maria, I
    Moore, Dave
    Hoffman, Matthew D.
    25TH AMERICAS CONFERENCE ON INFORMATION SYSTEMS (AMCIS 2019), 2019,
  • [28] Automatic Reparameterisation of Probabilistic Programs
    Gorinova, Maria, I
    Moore, Dave
    Hoffman, Matthew D.
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 119, 2020, 119
  • [29] PROBABILISTIC COMMUNICATING PROCESSES
    SEIDEL, K
    THEORETICAL COMPUTER SCIENCE, 1995, 152 (02) : 219 - 249
  • [30] PROBABILISTIC MODELS FOR AUTOMATIC INDEXING
    BOOKSTEIN, A
    JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1974, 25 (05): : 312 - 318
12345