Kuo-Hua Wang

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Studying the effectiveness of an online argumentation model for improving undergraduate students' argumentation ability.
J. Comput. Assist. Learn., 2020

2011
A Web-based model for developing assessment literacy of secondary in-service teachers.
Comput. Educ., 2011

2010
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

2009
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

2008
An improvement of EMD embedding method for large payloads by pixel segmentation strategy.
Image Vis. Comput., 2008

Designing a Web-based assessment environment for improving pre-service teacher assessment literacy.
Comput. Educ., 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

2007
Incremental learning approach and SAT model for Boolean matching with don't cares.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006
Efficient built-in redundancy analysis for embedded memories with 2-D redundancy.
IEEE Trans. Very Large Scale Integr. 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

2005
K-disjointness paradigm with application to symmetry detection for incompletely specified functions.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004
Web-based Assessment and Test Analyses (WATA) system: development and evaluation.
J. Comput. Assist. Learn., 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

2001
Binary decision diagram with minimum expected path length.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000
3D arm movement recognition using syntactic pattern recognition.
Artif. Intell. Eng., 2000

1997
Boolean matching for incompletely specified functions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

1996
Exploiting communication complexity for Boolean matching.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

1994
Technology Mapping for FPGA Using Generalized Functional Decomposition.
VLSI Design, 1994

Logic synthesis for field-programmable gate arrays.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

State Assignment for Power and Area Minimization.
Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1990
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


  Loading...