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 条

[21] Single-gate logic solutions for space-constrained designs
Poirier, CR
WESCON/97 - CONFERENCE PROCEEDINGS, 1997, : 41 - 45
[22] LOGIC PROGRAM SYNTHESIS FROM INCOMPLETE SPECIFICATIONS
FLENER, P
DEVILLE, Y
JOURNAL OF SYMBOLIC COMPUTATION, 1993, 15 (5-6) : 775 - 805
[23] LOGIC PROGRAM SYNTHESIS FROM FIRST-ORDER LOGIC SPECIFICATIONS
KAWAMURA, T
THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 69 - 96
[24] Analogical logic program synthesis from examples
Sadohara, K
Haraguchi, M
MACHINE LEARNING: ECML-95, 1995, 912 : 232 - 244
[25] A LOGIC-BASED PROGRAM FOR SYNTHESIS DESIGN
HENDRICKSON, JB
GRIER, DL
TOCZKO, AG
JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, 1985, 107 (18) : 5228 - 5238
[26] Synthesis program improves logic fit in FPGAs
Pers Eng Instrum News, 6 (11):
[27] EFFICIENT PROGRAM SYNTHESIS - SEMANTICS, LOGIC, COMPLEXITY
KANOVICH, MI
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 615 - 632
[28] A superlinear space decomposition algorithm for constrained nonsmooth convex program
Lu, Yuan
Pang, Li-Ping
Guo, Fang-Fang
Xia, Zun-Quan
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2010, 234 (01) : 224 - 232
[29] Automated synthesis of data analysis programs: Learning in logic
Buntine, W
INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3194 : 1 - 1
[30] AUTOMATED PLA SYNTHESIS OF THE COMBINATIONAL LOGIC OF A DDL DESCRIPTION
DIETMEYER, DL
DOSHI, MH
JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING, 1979, 3 (3-4): : 241 - 257

← 1 2 3 4 5 →