Directions
2012
-
CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법
김윤호, 김문주, 장윤규
제39회 한국정보과학회 추계학술발표회
2012[] []
-
Challenges and Research Directions in Medical Cyber-Physical Systems
Lee, In-Sup, Sokolsky, Oleg, Chen, Sanjian, Hatcliff, John, 지은경, Kim, Baek-Gyu, King, Andrew, Mullen-Fortino, Margaret, Park, Soo-Jin, Roederer, Alexander, Venkatasubramanian, Krishna K.
PROCEEDINGS OF THE IEEE
2012[]
-
Challenges of Cyber Security for Nuclear Power Plants
Kwangjo Kim
The 18th Pacific Basin Nuclear Conference (PBNC 20120)
2012[]
-
Cloud Technology for Mining Association Rules in Microarray Gene Expression Datasets
Md. Rezaul Karim, A.T.M Golam Bari, Byeong-Soo Jeong, Ho-Jin Choi
International Journal of Database Theory and Application (IJDTA)
2012[]
-
CoMon: cooperative ambience monitoring platform with continuity and benefit awareness
Youngki Lee, Young Hyun Ju, CHULHONG MIN, Seungwoo Kang, INSEOK HWANG, Junehwa Song
The 10th international conference on Mobile systems, applications, and services (MobiSys 2012)
2012[] []
-
Cognitive Resources Aware Adaptive Web Service Binding and Scheduling
Antonio Jimenez Molina Angel, Jang-Ho Choi, Jorge A Gaete, In-Young Ko
The 2012 IEEE/WIC/ACM International Conference on Web Intelligence (WI2012)
2012[]
-
Collaborative Occupancy Reasoning in Visual Sensor Network for Scalable Smart Video Surveillance
Yongil Cho, Sang Ok Lim, Hyun S. Yang
IEEE TRANSACTIONS ON CONSUMER ELECTRONICS
2012[]
-
Color-aware Regularization for Gradient Domain Image Manipulation
Fanbo Deng, Seon Joo Kim, 유윙타이, Michael S. Brown
The 11th Asian Conference on Computer Vision
2012[] []
-
Comparative Genomics Revealed General Evolutionary Trends of Insulin
ELBASHIR MOHAMED SALAH ELDIN ABBAS, JunBeom Kim, Yan Zhang, Luonen Chen, Ho-Jin Choi
Translational Bioinformatics Conference (TBC 2012)
2012[]
-
Concolic Testing of the Multi-sector Read Operation for Flash Storage Platform Software
Moonzoo Kim, Yunho Kim, Choi, Yun-Ja
FORMAL ASPECTS OF COMPUTING
2012[]
-
Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교
김영주, 김문주, 김윤호, 정의준
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012[]
-
Congestion control for sudden bandwidth changes in TCP
Eui-Yul Ko, Donghyeok An, Yeom, Ik-Jun, Hyunsoo Yoon
INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS
2012[] []
-
Construction of an Automated Screening System to Predict Breast Cancer Diagnosis and Prognosis
Jin, Sou-Young, Won, Jae-Kyung, Lee, Hojin, Ho-Jin Choi
Basic and Applied Pathology
2012[]
-
Context Clustering with Complex Environments
Sung-Suk Kim, JunBeom Kim, ELBASHIR MOHAMED SALAH ELDIN ABBAS, Ho-Jin Choi
The Fourth International Conference on Emerging Databases-Technologies, Applications, and Theory (EDB)
2012[] []
-
Contextual Information Provision on Augmented Reality with IoT-based Semantic Communication
Heesuk Son, Seungwook Han, Dongman Lee
International Symposium on Ubiquitous Virtual Reality (ISUVR 2012)
2012[] []
-
Contrasting Opposing Views of News Articles on Contentious Issues
Park, Souneil, Lee, Kyung Soon, Junehwa Song
The 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL 2011)
2012[]
-
Control Flow Error Protection by Selective Re-execution and Available Redundancies in the Pipeline
MOHAMMAD ABDUR ROUF, Soontae Kim
International Exposition Yeosu Korea, International Conference on Information Tecnology
2012[]
-
Controlled Composition and Abstraction for Bottom-up Integration and Verification of Abstract Components
Choi, Y, Moonzoo Kim
INFORMATION AND SOFTWARE TECHNOLOGY
2012[] []
-
Convex Optimization Framework for Intermediate Deadline Assignment in Soft and Hard Real-Time Distributed Systems
Jinkyu Lee, Insik Shin, Easwaran, Arvind
JOURNAL OF SYSTEMS AND SOFTWARE
2012[]
-
Correction of Spatially Varying Image and Video Motion Blur Using a Hybrid Camera
유윙타이, Hao Du, Michael S. Brown, Stephen Lin
IEEE Transactions on Pattern Analysis and Machine Intelligence
2012[] []
