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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
中国机器翻译研究的机遇与挑战——第八届全国机器翻译研讨会总结与展望 [期刊论文]
中文信息学报, 2013-01-01, 卷号: 27, 期号: 4, 页码: 1-8
杜金华; 张萌; 宗成庆; 孙乐

 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
dictionary-based chinese-tibetan sentence alignment [会议论文]
2010 IEEE International Conference on Intelligent Computing and Integrated Systems, ICISS2010, Guilin, 40838
Xin Yu; Jian Wu; Weina Zhao
  |  
 
a language for secure requirement description based on information flow [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Cheng Liang; Zhang Yang; Feng Dengguo
  |  
 
checking timed buchi automata emptiness using lu-abstractions [学位论文]
, 2009-01-01
Li Guangyuan

 
htrdp evaluations on chinese information processing and intelligent human-machine interface [期刊论文]
Frontiers of Computer Science in China, 2007-01-01, 卷号: 1, 期号: 1, 页码: 58-93
Liu Qun; Wang Xiangdong; Liu Hong; Sun Le; Tang Sheng; Xiong Deyi; Hou Hongxu; Lv Yuanhua; Li Wenbo; Lin Shouxun; Qian Yueliang
  |  
 
using the web corpus to translate the queries in cross-lingual information retrieval [会议论文]
International Conference on Natural Language Processing and Knowledge Engineering, Wuhan, PEOPLES R CHINA, OCT 30-NOV
Zhang JL; Sun L; Min JM
  |  
 

1

 

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