中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
Content Type
期刊论文 [48]
Issued Date
Language
Project
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 31-40 of 48)

Items/Page:    Sort:
automatic generation of symbolic model for parameterized synchronous systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 6, 页码: 812-819
Xu WenWen(徐文文)
  |  
 
decomposing a kind of weakly invertible finite automata with delay 2 [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 354-360
Yao G
  |  
 
a context-aware infrastructure for supporting applications with pen-based interaction [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 343-353
Li Y; Guan ZW; Dai GZ; Ren XS; Han Y
  |  
 
fast algorithms for revision of some special propositional knowledge bases [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 3, 页码: 388-392
Luan SM; Dai GZ
  |  
 
combining static analysis and case-based search space partitioning for reducing peak memory in model checking [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 6, 页码: 762-770
Zhang WH
  |  
 
a programmable approach to maintenance of a finite knowledge base [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 1, 页码: 102-108
Luan SM; Dai GZ; Li W
  |  
 
probabilistic belief logic and its probabilistic aumann semantics [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 5, 页码: 571-579
Cao ZN; Shi CY
  |  
 
study on strand space model theory [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 5, 页码: 553-570
Ji QG; Qing SH; Zhou YB; Feng DG
  |  
 
structure of weakly invertible semi-input-memory finite automata with delay 2 [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002-01-01, 卷号: 17, 期号: 6, 页码: 682-688
Tao RJ; Chen SH
  |  
 
two online algorithms for the ambulance systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001-01-01, 卷号: 16, 期号: 2, 页码: 176-181
Sui YF

 

previous 1 2 3 4 5 next

 
Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace