中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
LTL satisfiability checking revisited [会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)

 
tempplet: a new method for domain-specific ontology design [会议论文]
1st International Conference on Engineering and Deployment of Cooperative Information Systems, 北京, 2002-9-17
Dong Y; Li Mingshu

 
a risk-driven design model for embedded system [会议论文]
2nd Asia-Pacific Conference on Quality Software, 北京, 2001-12-10
Dong Y; Li Mingshu
  |  
 
finding optimal threshold for correction error reads in dna assembling [会议论文]
9th Asia Pacific Bioinformatics Conference, Beijing, PEOPLES R CHINA, JAN 13-16,
Chin Francis Y. L.; Leung Henry C. M.; Li Wei-Lin; Yiu Siu-Ming

 
a hash-tlb approach for mmu virtualization in xen/ia64 [会议论文]
IPDPS 2008 - 22nd IEEE International Parallel and Distributed Processing Symposium, Miami, FL, United states, April 14,
Zhang Xiantao; Xu Anthony X. F.; Li Qi; Yau David K. Y.; Qing Sihan; Zhang Huanguo
  |  
 
mimo techniques in cluster-based wireless sensor networks [会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Li J; Gu Y; Zhang W; Zhao BH
  |  
 
the existence of high nonbounding degrees in the difference hierarchy [会议论文]
NZIMA Logic and Computation Workshop, Tahuna Beach, NEW ZEALAND, JAN 11-16,
Chong CT; Li A; Yang Y
  |  
 
a risk-driven design model for embedded system [会议论文]
2nd Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, DEC 10-11,
Dong Y; Li MS
  |  
 
penbuilder: platform for the development of pen-based user interface [会议论文]
3rd International Conference on Multimodal Interfaces (ICMI 2000), BEIJING, PEOPLES R CHINA, OCT 14-16,
Li Y; Guan ZW; Chen YD; Dai GZ
  |  
 
heuristic walkthroughs evaluation of pen-based chinese word edit system (pcwes) usability [会议论文]
3rd International Conference on Multimodal Interfaces (ICMI 2000), BEIJING, PEOPLES R CHINA, OCT 14-16,
Guan ZW; Li Y; Chen YD; Dai GZ
  |  
 

1

 

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