Complexity of probabilistic verification

被引：0
|
作者：
机构：
来源：
| 1600年 / ACM, New York, NY, USA卷 / 42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [31] On the Complexity of Computing Probabilistic Bisimilarity
    Chen, Di
    van Breugel, Franck
    Worrell, James
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 437 - 451
  • [32] THE PROBABILISTIC THEORY OF LINEAR COMPLEXITY
    NIEDERREITER, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 330 : 191 - 209
  • [33] The Complexity of Plate Probabilistic Models
    Cozman, Fabio G.
    Maua, Denis D.
    SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 36 - 49
  • [34] PROBABILISTIC COMPLEXITY CLASSES AND LOWNESS
    SCHONING, U
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1989, 39 (01) : 84 - 100
  • [35] The computational complexity of probabilistic planning
    Littman, ML
    Goldsmith, J
    Mundhenk, M
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1998, 9 : 1 - 36
  • [36] Probabilistic reasoning and the science of complexity
    Schum, DA
    DECISION SCIENCE AND TECHNOLOGY: REFLECTIONS ON THE CONTRIBUTIONS OF WARD EDWARDS, 1999, : 183 - 209
  • [37] Complexity Results for Probabilistic Datalog
    Ceylan, Ismail Ilkan
    Lukasiewicz, Thomas
    Penaloza, Rafael
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1414 - 1422
  • [38] On the complexity of probabilistic image retrieval
    Vasconcelos, N
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOL II, PROCEEDINGS, 2001, : 400 - 407
  • [39] The computational complexity of agent verification
    Wooldridge, M
    Dunne, PE
    INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 115 - 127
  • [40] On the complexity of the monotonicity verification.
    Voronenko, AA
    15TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2000, : 235 - 238
12345