Showing results 361 to 380 of 4037
Abstraction Refinement Guided by a Learnt Probabilistic Model Grigore, Radu y; Yang, Hongseok, ACM SIGPLAN NOTICES, v.51, no.1, pp.485 - 498, 2016-01 |
Abstractions from Tests Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01 |
Accelerating database processing at database-driven web sites Choi, S; Lee, J; Kim, SM; Song, Junehwa; Lee, Yoon Joon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, no.11, pp.2724 - 2738, 2006-11 |
Accelerating database processing at e-commerce sites Choi, S; Lee, J; Kim, SM; Song, Junehwa; Lee, Yoon Joon, E-COMMERCE AND WEB TECHNOLOGIES BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3182, pp.41 - 50, 2004 |
Accelerating key establishment protocols for mobile communication Lee, S; Hong, SM; Yoon, Hyunsoo; Cho, Y, INFORMATION SECURITY AND PRIVACY BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.1587, pp.51 - 63, 1999-04 |
Accelerating SSL with GPUs Jang, Keon; Han, Sangjin; Han, Seungyeop; Moon, Sue Bok; Park, KyoungSoo, COMPUTER COMMUNICATION REVIEW, v.41, no.1, pp.135 - 136, 2011-01 |
Accelerometer signal processing for user activity detection Baek, J.; Lee, Geehyuk; Park, W.; Yun, B.-J., LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), v.3215, no.0, pp.573 - 580, 2004 |
Access emulation and buffering techniques for streaming of non-stream format video files Kang, SI; Song, Junehwa; Bae, SK; Lee, Heung-Kyu, IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, v.47, no.3, pp.687 - 693, 2001-08 |
ACCESS TO INDEXED HIERARCHICAL DATABASES USING A RELATIONAL QUERY LANGUAGE Chung, Chin-Wan; MCCLOSKEY, KE, IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, v.5, no.1, pp.155 - 161, 1993-02 |
Accident identification in nuclear power plants using hidden Markov models Kwon, KC; Kim, JinHyung, ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, v.12, no.4, pp.491 - 501, 1999-08 |
ACCOMMODATING SUBJECTIVE VAGUENESS THROUGH A FUZZY EXTENSION TO THE RELATIONAL DATA MODEL Lee, Doheon; Kim, Myoung Ho, INFORMATION SYSTEMS, v.18, no.6, pp.363 - 374, 1993-09 |
Accomplishments and challenges in literature data mining for biology Hirschman, L; Park, Jong Cheol; Tsujii, J; Wong, L; Wu, CH, BIOINFORMATICS, v.18, no.122002, pp.1553 - 1561, 2002-12 |
Acoustic-decoy: Detection of adversarial examples through audio modification on speech recognition system Kwon, Hyun; Yoon, Hyunsoo; Park, Ki-Woong, NEUROCOMPUTING, v.417, pp.357 - 370, 2020-12 |
Action compilation - Preprocessing temporal constraints in planning 최호진, TECHNICAL REPORT, v.0, no.0, pp.0 - 0, 1996-01 |
Active flow management scheme for per-flow processing Joongsoo Lee; Seung Hun Lee; Young-Hee Lee; Sungwon Kang; Wonchul Chung; Chungil Kim, KT JOURNAL, v.6, no.2, pp.0 - 0, 2001-02 |
Active Learning for Human-in-the-Loop Customs Inspection Kim, Sundong; Mai, Tung-Duong; Han, Sungwon; Park, Sungwon; Nguyen, Thi; So, Jaechan; Singh, Karandeep; et al, IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, v.35, no.12, pp.12039 - 12052, 2023-12 |
Active learning using Generative Adversarial Networks for improving generalization and avoiding distractor points Lim, Heechul; Chon, Kang-Wook; Kim, Min-Soo, EXPERT SYSTEMS WITH APPLICATIONS, v.227, 2023-10 |
Active Network Architecture: Problems and Approaches 이중수; 이승헌; 이영희, 정보통신응용연구회지, 2000-12 |
Active Queue Management for Flow Fairness and Stable Queue Length Kim, Jong-hwan; Yoon, Hyunsoo; Yeom, Ikjun, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, v.22, no.4, pp.571 - 579, 2011-04 |
Active robot-assisted feeding with a general-purpose mobile manipulator: Design, evaluation, and lessons learned Park, Daehyung; Hoshi, Yuuna; Mahajan, Harshal P.; Kim, Ho Keun; Erickson, Zackory; Rogers, Wendy A.; Kemp, Charles C., ROBOTICS AND AUTONOMOUS SYSTEMS, v.124, 2020-02 |
Discover