| 2008 |
|---|
| 6 | EE | Weixin Wu,
Michael S. Hsiao:
Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 197-201 (2008) |
| 2007 |
|---|
| 5 | EE | Fangshi Wang,
De Xu,
Wei Lu,
Weixin Wu:
Automatic Video Annotation and Retrieval Based on Bayesian Inference.
MMM (1) 2007: 279-288 |
| 4 | EE | Fangshi Wang,
De Xu,
Hongli Xu,
Wei Lu,
Weixin Wu:
Application of Bayesian Inference to Automatic Semantic Annotation of Videos.
Model-Based Reasoning in Science, Technology, and Medicine 2007: 447-466 |
| 2006 |
|---|
| 3 | EE | Weixin Wu,
Michael S. Hsiao:
Mining global constraints for improving bounded sequential equivalence checking.
DAC 2006: 743-748 |
| 2 | EE | Fangshi Wang,
De Xu,
Hongli Xu,
Weixin Wu:
Construction of Semantic Network for Videos.
ICICIC (2) 2006: 217-220 |
| 2005 |
|---|
| 1 | EE | W. M. Jang,
Weixin Wu:
Distributed and centralized multiuser detection with antenna arrays.
IEEE Transactions on Wireless Communications 4(3): 855-860 (2005) |
