Kuo-Hua Wang

According to our database1, Kuo-Hua Wang authored at least 24 papers between 1990 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


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

Boolean matching for incompletely specified functions.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1997

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