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

Search Results

Help

Item hits: (Results 1-2 of 2)

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)

 
automatic bug triage using semi-supervised text classification [会议论文]
22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010, Redwood City, CA, United states, 44013
Xuan Jifeng; Jiang He; Ren Zhilei; Yan Jun; Luo Zhongxuan
  |  
 

1

 

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