user

Algebraic decision diagrams and their applications

被引：0
|
作者：
Univ of Colorado, Boulder, United States [1 ]
机构：
来源：
Formal Methods Syst Des | / 2-3卷 / 171-206期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Difference decision diagrams
    Moller, J
    Lichtenberg, J
    Andersen, HR
    Hulgaard, H
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 111 - 125
  • [42] DECISION TREES AND DIAGRAMS
    MORET, BME
    COMPUTING SURVEYS, 1982, 14 (04) : 593 - 623
  • [43] Decision diagrams for optimization
    Andre Augusto Cire
    Constraints, 2015, 20 (4) : 494 - 495
  • [44] Applications of algebraic soft-decision decoding of Reed-Solomon codes
    Gross, Warren J.
    Kschischang, Frank R.
    Koetter, Ralf
    Gulak, P. Glenn
    IEEE TRANSACTIONS ON COMMUNICATIONS, 2006, 54 (07) : 1224 - 1234
  • [45] DIFFERENTIAL-ALGEBRAIC DECISION METHODS AND SOME APPLICATIONS TO SYSTEM-THEORY
    DIOP, S
    THEORETICAL COMPUTER SCIENCE, 1992, 98 (01) : 137 - 161
  • [46] Symbolizing algebraic story problems: Are diagrams helpful?
    Bartel, Anna N.
    Alibali, Martha W.
    APPLIED COGNITIVE PSYCHOLOGY, 2021, 35 (06) : 1427 - 1442
  • [47] AN ALGEBRAIC CHARACTERIZATION FOR THE TOPOLOGY OF PHASE-DIAGRAMS
    ORSER, DJ
    JOURNAL OF METALS, 1985, 37 (08): : A67 - A67
  • [48] Decision trees, influence diagrams and decision analysis
    Terek, M
    EKONOMICKY CASOPIS, 2002, 50 (06): : 1056 - 1075
  • [49] Extended Algebraic State-Transition Diagrams
    Tidjon, Lionel N.
    Frappier, Marc
    Leuschel, Michael
    Mammar, Amel
    2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, : 146 - 155
  • [50] Preface to the special issue: commutativity of algebraic diagrams
    Matthes, Ralph
    Soloviev, Sergei
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2012, 22 (06) : 901 - 903
12345