机构

• 软件研究所 [6]

采集方式

• OAI收割 [6]

内容类型

• 会议论文 [4]
• 期刊论文 [2]

发表日期

• 2012 [2]
• 2011 [1]
• 2006 [2]
• 2005 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 recursive method to solve the problem of "gambling with god 期刊论文  OAI收割 Discrete Applied Mathematics, 2012, 卷号: 160, 期号: 7-8, 页码: 980-984 Shao Huang; Chao Wang   |  收藏  |  浏览/下载：25/0  |  提交时间：2013/09/17 Combinatorial mathematics  Mathematical techniques   a local algorithm for finding dense bipartite-like subgraphs 会议论文  OAI收割 18th Annual International Computing and Combinatorics Conference, COCOON 2012, Sydney, NSW, Australia, August 20, 2012 - August 22, 2012 Peng Pan   |  收藏  |  浏览/下载：26/0  |  提交时间：2013/09/22 Combinatorial mathematics   characterizations of locally testable linear- and affine-invariant families 会议论文  OAI收割 17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14, Li Angsheng; Pan Yicheng   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 Algebra  Boolean functions  Characterization  Codes (symbols)  Combinatorial mathematics  Finite element method   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文  OAI收割 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian   |  收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28 SAT-based approach  backtracking search algorithm  exhaustive search of combinatorial test suite  pruning strategy  search heuristics  subcombination equalization heuristic  symmetry breaking technique  backtracking  combinatorial mathematics  computability   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文  OAI收割 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 SAT-based approach  backtracking search algorithm  exhaustive search of combinatorial test suite  pruning strategy  search heuristics  subcombination equalization heuristic  symmetry breaking technique  backtracking  combinatorial mathematics  computability   multi-labeled graph matching - an algorithm model for schema matching 期刊论文  OAI收割 ADVANCES IN COMPUTER SCIENCE - ASIAN 2005, PROCEEDINGS, 2005, 卷号: 3818, 页码: 90-103 Zhang Z; Che HY; Shi PF; Sun Y; Gu J   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/28 Algorithms  Combinatorial mathematics  Database systems  Mathematical models  Optimization  Problem solving  Semantics