Browse "CS-Conference Papers(학술회의논문)" by Author Lee, Sang Ho

Showing results 1 to 3 of 3

1
A New Algorithm for Subsumption Test

Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, Int'l Conference on Fifth Generation Computer Systems, pp.643 - 649, 1992

2
AND Parallelism in Connection Graph Proof Procedure

Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, 2nd Pacific Rim International Conference on Artificial Intelligence, pp.732 - 738, 1992

3
Rosemary: A Robust, Secure, and High-performance Network Operating System

Shin, Seung Won; Song, Yong Joo; Lee, Tae Kyung; Lee, Sang Ho; Chung, Jae Woong; Phillip, Porras; Vinod, Yegneswaran; et al, 21st ACM Conference on Computer and Communications Security (CCS), ACM Special Interest Group on Security, Audit and Control (SIGSAC), 2014-11-05

Discover

rss_1.0 rss_2.0 atom_1.0