Chin-Liang Chang

Publication Activity (10 Years)

Years Active: 1969-2015
Publications (10 Years): 0

Top Topics

Similarity Measure

Probabilistic Model

Image Restoration

Artificial Neural Networks

Top Venues

Publications

Chin-Liang Chang
Fuzzy similarity for function computation model. NAFIPS/WConSC (2015)
Chin-Liang Chang
Heuristic Scheduling in a Dynamic Production Environment: A Practical Case. IEA/AIE (1995)
Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs
Validation of nonmonotonic knowledge-based systems. TAI (1990)
Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs
Testing integrated knowledge-based systems. TAI (1989)
Chin-Liang Chang, Adrian Walker
PROSQL: A Prolog Programming Interface with SQL/DS. Expert Database Workshop (1984)
Nan C. Shu, Vincent Y. Lum, F. C. Tung, Chin-Liang Chang
Specification of Forms Processing and Business Procedures for Office Automation. IEEE Trans. Software Eng. 8 (5) (1982)
Chin-Liang Chang, James R. Slagle
Using Rewriting Rules for Connection Graphs to Prove Theorems. Artif. Intell. 12 (2) (1979)
Chin-Liang Chang
On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory (1979)
E. F. Codd, Robert S. Arnold, Jean-Marc Cadiou, Chin-Liang Chang, Nick Roussopoulos
RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases. Research Report / RJ / IBM / San Jose, California (1978)
Andy N. C. Kang, Richard C. T. Lee, Chin-Liang Chang, Shi-Kuo Chang
Storage Reduction Through Minimal Spanning Trees and Spanning Forests. IEEE Trans. Computers 26 (5) (1977)
Chin-Liang Chang
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases (1977)
James R. Slagle, Chin-Liang Chang, Stephen R. Heller
A Clustering and Data-Reorganizing Algorithm. IEEE Trans. Syst. Man Cybern. 5 (1) (1975)
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
Experiments with some cluster analysis algorithms. Pattern Recognit. 6 (3-4) (1974)
Richard C. T. Lee, Chin-Liang Chang, Richard J. Waldinger
An Improved Program-Synthesizing Algorithm and Its Correctness. Commun. ACM 17 (4) (1974)
Chin-Liang Chang
Finding Prototypes For Nearest Neighbor Classifiers. IEEE Trans. Computers 23 (11) (1974)
Chin-Liang Chang, Richard C. T. Lee, John K. Dixon
The Specialization of Programs by Theorem Proving. SIAM J. Comput. 2 (1) (1973)
Chin-Liang Chang
Pattern Recognition by Piecewise Linear Discriminant Functions. IEEE Trans. Computers 22 (9) (1973)
Chin-Liang Chang, Richard C. T. Lee
A Heuristic Relaxation Method for Nonlinear Mapping in Cluster Analysis. IEEE Trans. Syst. Man Cybern. 3 (2) (1973)
Chin-Liang Chang
Theorem proving with variable-constrained resolution. Inf. Sci. 4 (3-4) (1972)
Chin-Liang Chang, James R. Slagle
An Admissible and Optimal Algorithm for Searching AND/OR Graphs. Artif. Intell. 2 (2) (1971)
Chin-Liang Chang, James R. Slagle
Completeness of Linear Refutation for Theories with Equality. J. ACM 18 (1) (1971)
Richard C. T. Lee, Chin-Liang Chang
Some Properties of Fuzzy Logic Inf. Control. 19 (5) (1971)
Chin-Liang Chang
The Unit Proof and the Input Proof in Theorem Proving. J. ACM 17 (4) (1970)
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
A New Algorithm for Generating Prime Implicants. IEEE Trans. Computers 19 (4) (1970)
Chin-Liang Chang
Renamable Paramodulation for Automatic Theorem Proving with Equality. Artif. Intell. 1 (4) (1970)
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
Completeness Theorems for Semantic Resolution in Consequence-Finding. IJCAI (1969)