ON AN APPLICATION OF DYNAMIC PROGRAMMING TO THE SYNTHESIS OF LOGICAL SYSTEMS

被引：6

作者：

BELLMAN, R

HOLLAND, J

KALABA, R

机构：

来源：

JOURNAL OF THE ACM | 1959年 / 6卷 / 04期

关键词：

D O I：

10.1145/320998.321002

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：486 / 493

页数：8

共 50 条

[41] BLID:: An application of logical information systems to bioinformatics
Ferré, S
King, RD
CONCEPT LATTICES, PROCEEDINGS, 2004, 2961 : 47 - 54
[42] Analysis and synthesis of logical-dynamic systems of automatic control of a gas-turbine engine
Petunin, V. I.
Frid, A. I.
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2012, 51 (06) : 818 - 832
[43] Dynamic contextual intensional logic: Logical foundations and an application
Thomason, RH
MODELING AND USING CONTEXT, PROCEEDINGS, 2003, 2680 : 328 - 341
[44] APPLICATION OF LOGICAL PROGRAMMING FOR THE VALIDATION OF AGGREGATE SPECIFICATIONS OF PROTOCOL OF COMPUTER NETWORK
PRANJAVICHJUS, GJ
CHJAPONITE, RB
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1992, (02): : 22 - 27
[45] The Application of Dynamic Programming in Production Planning
Wu, Run
MATERIALS SCIENCE, ENERGY TECHNOLOGY, AND POWER ENGINEERING I, 2017, 1839
[46] AN APPLICATION OF DYNAMIC PROGRAMMING TO COLORING OF MAPS
BELLMAN, R
ICC BULLETIN, 1965, 4 (01): : 3 - &
[47] APPLICATION OF DYNAMIC PROGRAMMING TO ROUTING PROBLEMS
JEFFERIS, RP
FEGLEY, KA
IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1965, SSC1 (01): : 21 - +
[48] Application of Dynamic Programming in Dynamic Image Sequence Analysis
Zheng, Sun
PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, 2008, : 8 - 11
[49] Interval Tree Clocks A Logical Clock for Dynamic Systems
Almeida, Paulo Sergio
Baquero, Carlos
Fonte, Victor
PRINCIPLES OF DISTRIBUTED SYSTEMS, 12TH INTERNATIONAL CONFERENCE, OPODIS 2008, 2008, 5401 : 259 - 274
[50] Stability of Logical Dynamic Systems With a Class of Constrained Switching
Ding, Xueying
Lu, Jianquan
Li, Haitao
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2022, 69 (10) : 4248 - 4257

← 1 2 3 4 5 →