2008 |
10 | EE | Yan Wang,
Zhiwen Bai,
Miao Zhang,
Wen Du,
Ying Qin,
Xiyang Liu:
Fitness calculation approach for the switch-case construct in evolutionary testing.
GECCO 2008: 1767-1774 |
9 | EE | Sanxing Cao,
Ying Qin,
Jianbo Liu,
Rui Lu:
An ACO-Based User Community Preference Clustering System for Customized Content Service in Broadband New Media Platforms.
Web Intelligence/IAT Workshops 2008: 591-595 |
2006 |
8 | EE | Suxiang Zhang,
Xiaojie Wang,
Juan Wen,
Ying Qin,
Yixin Zhong:
A Probabilistic Feature Based Maximum Entropy Model for Chinese Named Entity Recognition.
ICCPOL 2006: 189-196 |
7 | EE | Ying Qin,
Suxiang Zhang,
Xiaojie Wang:
Combining Multi-knowledge for Chinese Word Segmentation Disambiguation.
ISDA (1) 2006: 551-556 |
2005 |
6 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
A fast counterexample minimization approach with refutation analysis and incremental SAT.
ASP-DAC 2005: 451-454 |
5 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
Minimizing Counterexample of ACTL Property.
CHARME 2005: 393-397 |
4 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.
DATE 2005: 672-677 |
3 | EE | Xiaolang Yan,
Ying Qin,
Ye Yang,
Haitong Ge:
A high performance architecture of EBCOT encoder in JPEG 2000.
ISCAS (1) 2005: 492-495 |
2 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
Minimizing Counterexample with Unit Core Extraction and Incremental SAT.
VMCAI 2005: 298-312 |
2004 |
1 | EE | ShengYu Shen,
Ying Qin,
Sikun Li:
Localizing Errors in Counterexample with Iteratively Witness Searching.
ATVA 2004: 456-469 |