中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [5]
计算机科学国家重点实... [4]
综合信息系统技术国家... [1]
作者
Content Type
会议论文 [7]
期刊论文 [3]
Issued Date
Language
英语 [5]
中文 [2]
Source
lecture no... [3]
acm transa... [1]
lecture no... [1]
proceeding... [1]
proceeding... [1]
更多...
Project
Indexed
EI [8]
SCI [2]
WANFANG [2]
CNKI [1]
ISTP [1]
更多...
Spnsorship
agreement ... [1]
associatio... [1]
ieee beiji... [1]
ieee syste... [1]
xiangtan u... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 10)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Submitted Time Ascending
Submitted Time Descending
Author Ascending
Author Descending
Title Ascending
Title Descending
searching for doubly self-orthogonal latin squares
[会议论文]
17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, September
Lu Runming
;
Liu Sheng
;
Zhang Jian
|
partial constraint checking for context consistency in pervasive computing
[期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2010-01-01, 卷号: 19, 期号: 3, 页码: -
Xu Chang
;
Cheung S. C.
;
Chan W. K.
;
Ye Chunyang
|
optimization method for mixed constraints problem solving
[会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Ji Xiaohui
;
Huang Zhuo
|
logic programs with abstract constraints: representaton, disjunction and complexities
[会议论文]
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
|
a generalized gelfond-lifschitz transformation for logic programs with abstract constraints
[会议论文]
AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, Vancouver, BC, Canada, 37459
Shen Yi-Dong
;
You Jia-Huai
|
an a-team based framework for logistics scheduling
[会议论文]
ICSSSM07: 2007 International Conference on Service Systems and Service Management, Changdu, China, 43991
Fang Hongwei
;
Zheng Yujun
|
using gavish-grave lp to formulate the directed black and white traveling salesman problem
[会议论文]
7th International Conference on Computational Science, ICCS 2007, Beijing, China, 43978
Jiang He
;
Zhang XianChao
;
Li MingChu
;
Che HaoYang
|
基于量化角色的可控委托模型
[期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1401-1407
翟征德
|
scheduling design of controllers with fuzzy deadline
[会议论文]
2nd International Conference on Fuzzy Systems and Knowledge Discovery, Changsha, PEOPLES R CHINA, AUG 27-29,
Jin H
;
Wang HG
;
Wang H
;
Wang DL
|
虚拟装配中感知机制构造
[期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 12, 页码: 2324-2330
程成
|
1
Copyright © 2007-2019
中国科学院软件研究所
-
Feedback
Powered by
CSpace
