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 条
  • [31] Search Space Characterization for Approximate Logic Synthesis
    Witschen, Linus
    Wiersema, Tobias
    Reuter, Lucas
    Platzner, Marco
    PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 433 - 438
  • [32] Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design
    Fujita, Masahiro
    PROCEEDINGS OF THE IEEE, 2015, 103 (11) : 2052 - 2060
  • [33] DPGen: Automated Program Synthesis for Differential Privacy
    Wang, Yuxin
    Ding, Zeyu
    Xiao, Yingtai
    Kifer, Daniel
    Zhang, Danfeng
    CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2021, : 393 - 411
  • [34] Differential Feature Space in Mean Shift Clustering for Automated Melanoma Assessment
    Eslava, J.
    Druzgalski, C.
    WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, 2015, VOLS 1 AND 2, 2015, 51 : 1401 - 1404
  • [35] Simulation Research on the Shift Schedule in the Auto with Automated Manual Transmission Based on Cruise Gear Shift Program
    Qin, Hao
    Long, Shaoxiong
    Yu, Kai
    ADVANCES IN MANUFACTURING SCIENCE AND ENGINEERING, PTS 1-4, 2013, 712-715 : 2160 - 2163
  • [36] Input Synthesis for Sampled Data Systems by Program Logic
    Akazaki, Takumi
    Hasuo, Ichiro
    Suenaga, Kohei
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (174): : 22 - 39
  • [37] Neural Guided Constraint Logic Programming for Program Synthesis
    Zhang, Lisa
    Rosenblatt, Gregory
    Fetaya, Ethan
    Liao, Renjie
    Byrd, William E.
    Might, Matthew
    Urtasun, Raquel
    Zemel, Richard
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
  • [38] Logic program synthesis in a higher-order setting
    Lacey, D
    Richardson, J
    Smaill, A
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 87 - 100
  • [39] HOLL: Program Synthesis for Higher Order Logic Locking
    Takhar, Gourav
    Karri, Ramesh
    Pilato, Christian
    Roy, Subhajit
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 3 - 24
  • [40] Automated Formation Control Synthesis from Temporal Logic Specifications
    Qi, Shuhao
    Zhang, Zengjie
    Haesaert, Sofie
    Sun, Zhiyong
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 5165 - 5170
12345