机译:建立高度保证的以人为本的决策系统
Naval Research Laboratory, Washington, DC 20375, USA;
Google, Inc., Mountain View, CA 94043, USA;
Naval Research Laboratory, Washington, DC 20375, USA;
Naval Research Laboratory, Washington, DC 20375, USA;
Colorado State University, Fort Collins, CO 80523, USA;
Naval Research Laboratory, Washington, DC 20375, USA;
Naval Research Laboratory, Washington, DC 20375, USA;
High assurance; Formal models; Formal methods; Adaptive agents; Cognitive models; Formal model synthesis from scenarios; User model synthesis; User scenarios; System and software requirements;
机译:保证机器人建筑产品集装质量决策的可靠性
机译:根据软件保障的自然语言要求构建决策支持问题域本体
机译:从自然语言需求构建决策支持问题域本体以实现软件保证
机译:高保障以人为本的决策系统
机译:使用自然语言处理来辅助自动决策支持系统和放射学质量保证。
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:B.临床研究数据库:临床数据库的质量保证
机译:房屋建筑系统决策研究:用户对建筑系统的需求程度,以及用户获得技术知识的进程