机构

• 软件研究所 [10]
• 数学与系统科学研究院 [7]
• 计算技术研究所 [2]
• 长春光学精密机械与物... [1]

采集方式

• OAI收割 [20]

内容类型

• 期刊论文 [12]
• 会议论文 [8]

发表日期

• 2024 [1]
• 2016 [1]
• 2009 [1]
• 2008 [2]
• 2007 [2]
• 2006 [3]
• 更多

学科主题

• Artificial... [1]
• Computer S... [1]
• Interdisci... [1]

筛选

浏览/检索结果: 共20条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397 作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian   |  收藏  |   Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 6, 页码: 999-1011 作者:  Zhou, Yanhong;  Wang, Tiancheng;  Li, Huawei;  Lv, Tao;  Li, Xiaowei   |  收藏  |   a-team based supply chain management agent architecture 期刊论文  OAI收割 INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2009, 卷号: 18, 期号: 6, 页码: 801-823 Zheng Yujun; Wang Jinquan; Xue Jinyun   |  收藏  |   A comparative study of discrete differential evolution on binary constraint satisfaction problems (EI CONFERENCE) 会议论文  OAI收割 2008 IEEE Congress on Evolutionary Computation, CEC 2008, June 1, 2008 - June 6, 2008, Hong Kong, China Yang Q. 收藏  |   checking inconsistency of rule sets in active real-time databases 会议论文  OAI收割 11th IEEE High Assurance Systems Engineering Symposium, Nanjing, PEOPLES R CHINA, DEC 03-05, Zhang Jian   |  收藏  |   an a-team based framework for logistics scheduling 会议论文  OAI收割 ICSSSM07: 2007 International Conference on Service Systems and Service Management, Changdu, China, 43991 Fang Hongwei; Zheng Yujun   |  收藏  |   logic programs with abstract constraints: representaton, disjunction and complexities 会议论文  OAI收割 9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United states, 43966 You Jia-Huai; Yuan Li Yan; Liu Guohua; Shen Yi-Dong   |  收藏  |   Well-constrained completion and decomposition for under-constrained geometric constraint problems 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 2006, 卷号: 16, 期号: 5-6, 页码: 461-478 作者:  Zhang, Gui-Fang;  Gao, Xiao-Shan   |  收藏  |   A C-tree decomposition algorithm for 2D and 3D geometric constraint solving 期刊论文  OAI收割 COMPUTER-AIDED DESIGN, 2006, 卷号: 38, 期号: 1, 页码: 1-13 作者:  Gao, XS;  Lin, Q;  Zhang, GF   |  收藏  |   Planar generalized Stewart platforms and their direct kinematics 期刊论文  OAI收割 AUTOMATED DEDUCTION IN GEOMETRY, 2006, 卷号: 3763, 页码: 198-211 作者:  Zhang, GF;  Gao, XS   |  收藏  |