COMPUTER AIDED DESIGN; COMPUTER TECHNIQUES; EXPERT SYSTEMS; INTERPROCESSOR COMMUNICATION; PROBLEM SOLVING; REAL TIME OPERATION; ARCHITECTURE (COMPUTERS); ARTIFICIAL INTELLIGENCE; BELIEF NETWORKS; C (PROGRAMMING LANGUAGE); DATA LINKS; HELICOPTER DESIGN;
机译:扩展CLIPS以支持时间表示和推理
机译:扩展CLIPS以支持时间表示和推理
机译:纤维化的BISIMULATION和定量推理:扩展版本
机译:使用扩展版本的Basevisor进行正式政策推理的演示
机译:Blackboard(TM)丛林:以教师和学生对学习技术工具Blackboard(TM)的看法为例。
机译:注意:14-TMS Tet(L)抗生素抗性蛋白的十二个跨膜段(TMS)版本(ΔTMSVII-VIII)保留单价阳离子转运模式但缺乏四环素外排能力
机译:Blackboard作为在线学习工具:Blackboard与以前的Blackboard版本和其他在线学习工具的比较研究