A REAL-TIME COACHING ENVIRONMENT FOR TRIANGLE CONGRUENCE PROOFS

被引：0
|
作者：
GREVE, SH
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 360卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：150 / 157
页数：8
相关论文
共 50 条
  • [1] REAL-TIME COACHING BOOSTS PERFORMANCE
    RANCOURT, KL
    TRAINING & DEVELOPMENT, 1995, 49 (04): : 53 - 56
  • [2] Automated compositional proofs for real-time systems
    Furia, CA
    Rossi, M
    Mandrioli, D
    Morzenti, A
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3442 : 326 - 340
  • [3] Automated compositional proofs for real-time systems
    Furia, Carlo A.
    Rossi, Matteo
    Mandrioli, Dino
    Morzenti, Angelo
    THEORETICAL COMPUTER SCIENCE, 2007, 376 (03) : 164 - 184
  • [4] Real-Time Simulation in Non Real-Time Environment
    Tarnawski, Jaroslaw
    Karla, Tomasz
    2016 21ST INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2016, : 577 - 582
  • [5] Verbal coaching during a real-time task
    Roberts, B
    Pioch, NJ
    Ferguson, W
    INTELLIGENT TUTORING SYSTEMS, 1998, 1452 : 344 - 353
  • [6] Real-time coaching cuts training downtime
    Lester, M
    JOURNAL OF MANAGEMENT IN ENGINEERING, 1998, 14 (04) : 22 - 23
  • [7] Acoustic Measures for Real-Time Voice Coaching
    Li, Ying
    Miller, Abraham
    Liu, Arthur
    Coburn, Kyle
    Salazar, Luis J.
    KDD '20: PROCEEDINGS OF THE 26TH ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY & DATA MINING, 2020, : 2755 - 2763
  • [8] REAL-TIME ENVIRONMENT SIMULATION
    FONTAINE, B
    ELECTRICAL COMMUNICATION, 1971, 46 (03): : 188 - &
  • [9] Flexible real-time linux:: A flexible hard real-time environment
    Terrasa, A
    García-Fornes, A
    Botti, VJ
    REAL-TIME SYSTEMS, 2002, 22 (1-2) : 151 - 173
  • [10] Flexible Real-Time Linux*: A Flexible Hard Real-Time Environment
    Andrés Terrasa
    Ana García-Fornes
    Vicente J. Botti
    Real-Time Systems, 2002, 22 : 151 - 173
12345