12
Publications
445
Citations
12
H-Index
1990
Active since
Affiliations
Chang‐Ho Kim is an author at Dong-Eui University specializing in engineering, formal methods, and knowledge discovery.
Top concepts
EngineeringDesign3D PrintingData MiningData ScienceFormal MethodsComputer ScienceQuery OptimizationAutomated ReasoningFormal Verification
Publications per year
1990–2014
12
12
A predicate matching algorithm for database rule systems
Eric N. Hanson, Moez Chaabouni, Chang‐Ho Kim et al. · 1990 · 113 citations
Forward-chaining Rule Systems, Engineering, Pattern Mining +17
Rows per page
1–5 of 12