On reduction-based process semantics

被引：0
|
作者：
Keio Univ, Yokohama, Japan [1 ]
机构：
来源：
Theor Comput Sci | / 2卷 / 437-486期
基金：
日本学术振兴会;
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Dimensionality Reduction-Based Diagnosis of Bearing Defects in Induction Motors
    Farajzadeh-Zanjani, Maryam
    Razavi-Far, Roozbeh
    Saif, Mehrdad
    2017 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2017, : 2539 - 2544
  • [32] On the convergence of reduction-based and model-based methods in proof theory
    Dowek, Gilles
    LOGIC JOURNAL OF THE IGPL, 2009, 17 (05) : 439 - 447
  • [33] A new dimensionality reduction-based visualization approach for massive data
    Paulauskiene, Kotryna
    Kurasova, Olga
    25. INTERNATIONAL CONFERENCE IN CENTRAL EUROPE ON COMPUTER GRAPHICS, VISUALIZATION AND COMPUTER VISION (WSCG 2017), 2017, 2701 : 19 - 24
  • [34] Trypsin Detection Using Electrochemical Reduction-based Redox Cycling
    Shin, Jeonghwa
    Park, Kiryeon
    Park, Seonhwa
    Yang, Haesik
    BULLETIN OF THE KOREAN CHEMICAL SOCIETY, 2021, 42 (01) : 37 - 42
  • [35] Reduction-based approaches towards constructing Galois (concept) lattices
    Jin, Jingyu
    Qin, Keyun
    Pei, Zheng
    ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 4062 : 107 - 113
  • [36] A DIMENSION REDUCTION-BASED METHOD FOR CLASSIFICATION OF HYPERSPECTRAL AND LIDAR DATA
    Abbasi, B.
    Arefi, H.
    Bigdeli, B.
    INTERNATIONAL CONFERENCE ON SENSORS & MODELS IN REMOTE SENSING & PHOTOGRAMMETRY, 2015, 41 (W5): : 1 - 4
  • [37] Embedded Map Projection for Dimensionality Reduction-Based Similarity Search
    Marinai, Simone
    Marino, Emanuele
    Soda, Giovanni
    STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, 2008, 5342 : 582 - 591
  • [38] Reduction-Based Model Updating of a Scaled Offshore Platform Structure
    Li, Hui
    Ding, Hua
    JOURNAL OF ENGINEERING MECHANICS-ASCE, 2010, 136 (02): : 131 - 142
  • [39] Dimension Reduction-based Reliability Analysis for Dependent Interval Variables
    Dey, Shibshankar
    Zaman, Kais
    2018 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), 2018, : 320 - 326
  • [40] Variable Reduction-based Prediction through Modified Genetic Algorithm
    Delima, Allemar Jhone P.
    Sison, Ariel M.
    Medina, Ruji P.
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2019, 10 (05) : 356 - 363
12345