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 条
  • [41] THE SEMI-AUTOMATIC CLASSIFICATION OF FINGERPATTERNS
    DEWILDE, AG
    [J]. COLLEGIUM ANTROPOLOGICUM, 1984, 8 (01) : 93 - 100
  • [42] SPEEDS AND FEEDS ON AUTOMATIC AND SEMI-AUTOMATIC LATHES
    ISHUTKIN, VI
    [J]. RUSSIAN ENGINEERING JOURNAL-USSR, 1969, (07): : 60 - &
  • [43] Semi-Automatic FMEA Supporting Complex Systems with Combinations and Sequences of Failures
    Walker, Martin
    Papadopoulos, Yiannis
    Parker, David
    Lonn, Henrik
    Torngren, Martin
    Chen, Dejui
    Johannson, Rolf
    Sandberg, Anders
    [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-MECHANICAL SYSTEMS, 2009, 2 (01): : 791 - 802
  • [44] Expert Recommender Systems in Practice: Evaluating Semi-automatic Profile Generation
    Reichling, Tim
    Wulf, Volker
    [J]. CHI2009: PROCEEDINGS OF THE 27TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, VOLS 1-4, 2009, : 59 - 68
  • [45] Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems
    Kochanthara, Sangeeth
    Rood, Niels
    Cleophas, Loek
    Dajsuren, Yanja
    van den Brand, Mark
    [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2020), 2020, : 55 - 58
  • [46] CAD based workflow for semi-automatic design of optical inspection systems
    Irgenfried, Stephan
    Worn, Heinz
    Bergmann, Stephan
    Mohammadikaji, Mahsa
    Beyerer, Jurgen
    Dachsbacher, Carsten
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2017, 65 (06) : 426 - 439
  • [47] Semi-automatic land consolidation software based on geographic information systems
    Martinez, Ramon
    Solla, Mercedes
    Arias, Pedro
    Armesto, Julia
    [J]. COMPUTERS AND ELECTRONICS IN AGRICULTURE, 2013, 97 : 1 - 5
  • [48] Semi-Automatic Player Detection for Real-Time Broadcasting Systems
    Kang, M. S.
    Lee, J. W.
    Kang, S. J.
    Lim, Y. C.
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE), 2017,
  • [49] Development of Semi-Automatic Pick and Place Robot for Material Handling Systems
    Aravind
    Rajparthiban
    Tiffany
    [J]. CSPA: 2009 5TH INTERNATIONAL COLLOQUIUM ON SIGNAL PROCESSING AND ITS APPLICATIONS, PROCEEDINGS, 2009, : 172 - +
  • [50] A semi-automatic method for SWI processing
    Martini, N.
    Nocetti, L.
    Santarelli, M. F.
    Danielli, C.
    Landini, L.
    Chiappino, D.
    [J]. WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 2 - DIAGNOSTIC IMAGING, 2009, 25 : 356 - 359
12345