Weak Proof-Number Search.
Proceedings of the Computers and Games, 6th International Conference, CG 2008, Beijing, 2008
Developing a Practical Domain Knowledge Base and Problem Solving System for Intelligent Educational System of High School Chemistry.
Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006
QoS technologies on AV/CE-oriented wireless home network.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005
Voice-activated word processor with automatic learning for dynamic optimization of syllable-templates.
Proceedings of the IEEE International Conference on Acoustics, 1986