Controlling semi-automatic systems with FLUX

被引：0
|
作者：
Thielscher, M [1 ]
机构：
[1] Tech Univ Dresden, D-8027 Dresden, Germany
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2003年 / 2916卷
关键词：
D O I：
10.1007/978-3-540-24599-5_49
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：515 / 516
页数：2
相关论文
共 50 条
  • [1] Automatic and semi-automatic telephone systems
    Lubberger, F
    [J]. NATURWISSENSCHAFTEN, 1913, 1 : 254 - 258
  • [2] Semi-Automatic Packaging Systems
    Zhang, Tianyi
    [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015), 2015, 39 : 2532 - 2534
  • [3] SEMI-AUTOMATIC RETORT CONTROL SYSTEMS
    HUGHES, P
    [J]. FOOD MANUFACTURE, 1971, 46 (12): : 32 - &
  • [4] WORKING WITH SEMI-AUTOMATIC DOCUMENTATION SYSTEMS WORKSHOP
    RIFE, CD
    [J]. SPECIAL LIBRARIES, 1965, 56 (06) : 402 - 403
  • [5] Semi-automatic pipeline inspection robot systems
    Choi, Jae Yeon
    Lim, Hoon
    Yi, Byung-Ju
    [J]. 2006 SICE-ICASE INTERNATIONAL JOINT CONFERENCE, VOLS 1-13, 2006, : 5178 - +
  • [6] Semi-automatic differentiation
    Coleman, TF
    Santosa, F
    Verma, A
    [J]. COMPUTATIONAL METHODS FOR OPTIMAL DESIGN AND CONTROL, 1998, 24 : 113 - 126
  • [7] The semi-automatic nucleator
    Hansen, L. V.
    Nyengaard, J. R.
    Andersen, J. B.
    Jensen, E. B. V.
    [J]. JOURNAL OF MICROSCOPY, 2011, 242 (02) : 206 - 215
  • [8] A method for semi-automatic standard integration in systems biology
    Koehn, Dagmar
    Stromback, Lena
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2008, 5181 : 745 - +
  • [9] Semi-automatic Creation of Resources for Spoken Dialog Systems
    Scheffler, Tatjana
    Roller, Roland
    Reithinger, Norbert
    [J]. KI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5803 : 209 - 216
  • [10] SEMI-AUTOMATIC WELDING
    不详
    [J]. BRITISH WELDING JOURNAL, 1966, 13 (03): : 177 - &
12345