Automated bias shift in a constrained space for logic program synthesis

被引：0
|
作者：
Chowdhury, Mofizur Rahman [1 ]
Numao, Masayuki [2 ]
机构：
[1] Dept. of Comp. Sci. and Engineering, Bangladesh Univ. Eng. and Technol.
[2] Department of Computer Science, Tokyo Institute of Technology
来源：
Transactions of the Japanese Society for Artificial Intelligence | 2001年 / 16卷 / 06期
关键词：
All Open Access; Bronze;
D O I：
10.1527/tjsai.16.548
中图分类号：
学科分类号：
摘要：
Learning systems
引用
收藏
页码：548 / 556
相关论文
共 50 条
  • [41] Efficient Reinforcement Learning Framework for Automated Logic Synthesis Exploration
    Qian, Yu
    Zhou, Xuegong
    Zhou, Hao
    Wang, Lingli
    2022 21ST INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT 2022), 2022, : 221 - 226
  • [42] Automated Lemma Synthesis in Symbolic-Heap Separation Logic
    Ta, Quang-Trung
    Le, Ton Chanh
    Khoo, Siau-Cheng
    Chin, Wei-Ngan
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [43] LOGIC DESIGN SYSTEM, A PROBLEM ORIENTED LANGUAGE TO PROGRAM AUTOMATED DIGITAL DESIGN
    MINICH, CE
    LINNEMAN.FG
    COMPUTER, 1971, 4 (03) : 22 - &
  • [44] Automated logic synthesis for electro-optic logic-based integrated optical computing
    Ying, Zhoufeng
    Zhao, Zheng
    Feng, Chenghao
    Mital, Rohan
    Dhar, Shounak
    Pan, David Z.
    Soref, Richard
    Chen, Ray T.
    OPTICS EXPRESS, 2018, 26 (21): : 28002 - 28012
  • [45] Integration of Shift-Left Updates into Logic Synthesis and Macro Placement
    Guo, Xinfei
    Zhao, Xiaotian
    Zhu, Linyu
    CONFERENCE OF SCIENCE & TECHNOLOGY FOR INTEGRATED CIRCUITS, 2024 CSTIC, 2024,
  • [46] Automated Data Extraction Using Predictive Program Synthesis
    Raza, Mohammad
    Gulwani, Sumit
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 882 - 890
  • [47] RepCoder: An Automated Program Repair Framework for Probability-Based Program Synthesis
    Ji, Suhwan
    Choi, Sang-Min
    Ko, Sang-Ki
    Kim, Dohyung
    Im, Hyeonseung
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1554 - 1561
  • [48] FRACSAT: Automated Design Synthesis for Future Space Architectures
    Mackey, Ryan
    Uckun, Serdar
    Do, Minh
    Shah, Jami
    2013 IEEE AEROSPACE CONFERENCE, 2013,
  • [49] AUTOMATED CLASSIFICATION OF VARIABLE STARS IN THE ASTEROSEISMOLOGY PROGRAM OF THE KEPLER SPACE MISSION
    Blomme, J.
    Debosscher, J.
    De Ridder, J.
    Aerts, C.
    Gilliland, R. L.
    Christensen-Dalsgaard, J.
    Kjeldsen, H.
    Brown, T. M.
    Borucki, W. J.
    Koch, D.
    Jenkins, J. M.
    Kurtz, D. W.
    Stello, D.
    Stevens, I. R.
    Suran, M. D.
    Derekas, A.
    ASTROPHYSICAL JOURNAL LETTERS, 2010, 713 (02) : L204 - L207
  • [50] Fast Automated detection of CMEs fronts relevant for the Space Weather Program
    Hernandez-Charpak, J. N.
    Perez-Romanello, C.
    Hernandez-Hoyos, M.
    2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC), 2011,
12345