2008 |
11 | EE | Zhongxuan Liu,
Shiguo Lian,
Yuan Dong,
Haila Wang:
Desynchronized image fingerprint for large scale distribution.
ICIP 2008: 409-412 |
10 | EE | Shiguo Lian,
Zhongxuan Liu,
Yuan Dong,
Haila Wang:
On the joint audio fingerprinting and decryption scheme.
ICME 2008: 261-264 |
9 | EE | Xinyu Feng,
Zhong Shao,
Yuan Dong,
Yu Guo:
Certifying low-level programs with hardware interrupts and preemptive threads.
PLDI 2008: 170-182 |
8 | EE | Xinyu Feng,
Zhong Shao,
Yu Guo,
Yuan Dong:
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.
VSTTE 2008: 54-69 |
2007 |
7 | EE | Jian Zhao,
Yuan Dong,
Xianyu Zhao,
Hao Yang,
Liang Lu,
Haila Wang:
Discussion on Score Normalization and Language Robustness in Text-Independent Multi-language Speaker Verification.
ICIC (1) 2007: 1121-1130 |
6 | EE | Jing Li,
Yuan Dong,
Chengyu Dong,
Haila Wang:
Score Normalization Technique for Text-Prompted Speaker Verification with Chinese Digits.
ICIC (2) 2007: 1082-1089 |
5 | EE | Shengyuan Wang,
Yuan Dong:
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.
TASE 2007: 433-439 |
2006 |
4 | EE | Yuan Dong,
Amor Jnifene:
Ibration Control of a Single Flexible-Link Flexible-Joint (FLFJ) Manipulator using Time Delay.
CCECE 2006: 1176-1179 |
3 | EE | Chengyu Dong,
Yuan Dong,
Dezhi Huang,
Jun Guo,
Haila Wang:
A Boosting Approach for Utterance Verification.
ICIC (2) 2006: 1170-1176 |
2 | EE | Hao Yang,
Yuan Dong,
Xianyu Zhao,
Jian Zhao,
Haila Wang:
Discriminative Transformation for Sufficient Adaptation in Text-Independent Speaker Verification.
ISCSLP 2006: 558-565 |
2004 |
1 | EE | Jia Chen,
Shengyuan Wang,
Yuan Dong,
Gui-lan Dai,
Yang Yang:
A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors.
ICESS 2004: 443-448 |