机构

• 软件研究所 [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   |  收藏  |  浏览/下载：3/0  |  提交时间：2024/12/06 Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations   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   |  收藏  |  浏览/下载：22/0  |  提交时间：2019/12/13 Abstraction-guided simulation  functional test generation  hard-to-reach states  path constraint solving   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   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/03/18 Agent  supply chain management (SCM)  architecture  asynchronous team (A-Team)  constraint satisfaction  problem solving  evolution   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. 收藏  |  浏览/下载：65/0  |  提交时间：2013/03/25 There are some variants and applications of the discretization of differential evolution. Performances of discrete differential evolution algorithms on random binary constraint satisfaction problem are studied in this paper  and a novel discrete differential evolution algorithm based on exchanging elements is proposed. We compare the proposed discrete differential evolution  evolutionary algorithms and discrete particle swarm optimization on random binary constraint satisfaction problems. Experimental results indicate though the proposed algorithm is simpler  it is competitive with other evolutionary algorithms solving constraint satisfaction problems. 2008 IEEE.   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   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/06/13 active databases  real-time databases  ECA rules  consistency checking  constraint solving   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   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/06/29 Constraint theory  Multi agent systems  Problem solving  Scheduling   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   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/06/29 Constraint theory  Problem solving  Set theory   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   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 geometric constraint solving  under-constrained completion  decomposition   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   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 geometric constraint solving  parametric CAD  general construction sequence  basic merge pattern  decomposition tree  graph algorithm   Planar generalized Stewart platforms and their direct kinematics 期刊论文  OAI收割 AUTOMATED DEDUCTION IN GEOMETRY, 2006, 卷号: 3763, 页码: 198-211 作者:  Zhang, GF;  Gao, XS   |  收藏  |  浏览/下载：21/0  |  提交时间：2018/07/30 planar generalized Stewart platform  geometric constraint solving  direct kinematics  closed-form solution