According to our database1, Kuo-Hua Wang authored at least 23 papers between 1990 and 2011.
Legend:Book In proceedings Article PhD thesis Other
A Web-based model for developing assessment literacy of secondary in-service teachers.
Computers & Education, 2011
Boolean matching of function vectors with strengthened learning.
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010
BooM: a decision procedure for boolean matching with abstraction and dynamic learning.
Proceedings of the 47th Design Automation Conference, 2010
A reversible data hiding scheme based on dual steganographic images.
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, 2009
Simulation and SAT-based Boolean matching for large Boolean networks.
Proceedings of the 46th Design Automation Conference, 2009
An improvement of EMD embedding method for large payloads by pixel segmentation strategy.
Image Vision Comput., 2008
Designing a Web-based assessment environment for improving pre-service teacher assessment literacy.
Computers & Education, 2008
Hiding Data in VQ-Compressed Images Using Pairwise Nearest Codewords Based on Minimum Spanning Tree.
Proceedings of the 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), 2008
Incremental learning approach and SAT model for Boolean matching with don't cares.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007
Efficient built-in redundancy analysis for embedded memories with 2-D redundancy.
IEEE Trans. VLSI Syst., 2006
Crosstalk minimization in logic synthesis for PLAs.
ACM Trans. Design Autom. Electr. Syst., 2006
Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection.
Proceedings of the 43rd Design Automation Conference, 2006
K-disjointness paradigm with application to symmetry detection for incompletely specified functions.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
Web-based Assessment and Test Analyses (WATA) system: development and evaluation.
J. Comp. Assisted Learning, 2004
Crosstalk Minimization in Logic Synthesis for PLA.
Proceedings of the 2004 Design, 2004
Symmetry detection for incompletely specified functions.
Proceedings of the 41th Design Automation Conference, 2004
Binary decision diagram with minimum expected path length.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001
3D arm movement recognition using syntactic pattern recognition.
AI in Engineering, 2000
Exploiting communication complexity for Boolean matching.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1996
Boolean Matching for Incompletely Specified Functions.
Proceedings of the 32st Conference on Design Automation, 1995
Logic synthesis for field-programmable gate arrays.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1994
State Assignment for Power and Area Minimization.
Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994
An implementation of software tools for replay and partial replay of Concurrent-C programs.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990