QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 research on automated sorting algorithms generation based on par 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 Shi Hai-He; Xue Jin-Yun 收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17 Automation  Formal methods  Sorting   macml: a domain-specific language for machinery service management 会议论文 2010 International Conference on Service Sciences, ICSS 2010, Hangzhou, China, 43963 Yang Junwei; Hu Zhongxiang; Zheng Yujun 收藏  |  浏览/下载：17/0  |  提交时间：2011/03/31 Intelligent control  Linguistics  Machinery  Management  Model structures  Problem oriented languages   基于领域本体的半结构化文本知识自动获取方法的设计和实现 期刊论文 计算机学报, 2005, 卷号: 28, 期号: 12, 页码: 2010-2018 王海涛; 曹存根; 高颖 收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 文本知识获取  知识编程语言  虚拟机  多主体系统  领域本体  领域本体  半结构化  文本知识  知识自动获取  方法  设计  知识获取  知识编程语言  运行环境  手工劳动  中草药  虚拟机  通用性  全自动  参数化  应用  音乐  效率  西医Computer programming languages  Context free grammars  Multi agent systems  Natural language processing systems  Text processing   Formal specification and refinement of a safe train control function 专著章节/文集论文 出自: Formal methods for embedded distributed systems: how to master the complexity, Norwell, MA, USA, Norwell, MA, USA:Kluwer Academic Publishers, Kluwer Academic Publishers, 2004 V. Winter; D. Kapur; G. Fuehrer 收藏  |  浏览/下载：16/0  |  提交时间：2010/05/27