
Directions
Real hypercomputation and continuity
Ziegler Martin A.
THEORY OF COMPUTING SYSTEMS
2007
Relational Separation Logic
Hongseok Yang
THEORETICAL COMPUTER SCIENCE
2007
Remarks on Receipt-free Auction/Voting Schemes Using Commitment
Chunhui Wu, Xiaofeng Chen, Fangguo Zhang, Hyunrok Lee, Kwangjo Kim
China Cryptology 2007 conference
2007
[]
Representing emotions with linguistic acuity
Hye-Jin Min, Jong C. Park
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
[]
Robot with Emotion - Triggering Human Interaction
MariaJose Acosta, 김동범, Ho-Jin Choi
The 7th International Conference on Applications and Principles of Information Science (APIS 2008)
2007
[]
Rough Set Based Information Retrieval from Argumentative Data Points in Weblogs
김시우, Chin-Wan Chung
Proc. of the 4th International Conference on Frontiers in the Convergence of Bioscience and Information Technologies
2007
[]
SVM을 사용한 약물 표적 단백질 예측
정휘성, 현보라, 정석훈, 장우혁, 한동수
제34회 추계학술발표회
2007
[]
Secure Approach to Deploy RFID-based Applications in Smart Home Environment
Divyan M. Konidala, 김진, 윤찬엽, Jin Li, 김광조
2007년 한국정보보호학회 동계학술대회
2007
[]
Security Enhancement of a Remote User Authentication Scheme Using Bilinear Pairings and ECC
LiemVo Duc, Kwangjo Kim
NSS 2007-IFIP International Workshop on Network and System Security
2007
[]
Security analysis of an ID-based key agreement for peer group communication
Vo, DL, Kwangjo Kim
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
2007
[] []
Semantic Block Mapping of Ontologies
Prakash Kadel, 신지애, Ho-Jin Choi
The 7th International Conference on Applications and Principles of Information Science (APIS 2008)
2007
[]
Software Quality Assurance in XP and Spiral - A Comparative Study
SajidIbrahim Hashmi, Jongmoon BAIK
ICCSA 2007
2007
[]
Special issue on AIRS2005: Information retrieval research in Asia
Lee, Gary Geunbae, Sung-Hyon Myaeng
INFORMATION PROCESSING MANAGEMENT
2007
[]
Systematic functional decomposition in a product line using aspect-oriented software development: A case study
Marew, T, Kim, J, Doo-Hwan Bae
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
2007
TCP-MR: 최소 전송률 보장을 위한 TCP
김인희, 김윤모, 강문수, 모정훈
네트워크 비디오 워크샵 (NV 2007)
2007
[]
TCP-aware uplink scheduling for IEEE 802.16
김승운, 염익준
IEEE COMMUNICATIONS LETTERS
2007
[]
Target Classification in Sparse Sampling Acoustic Sensor Net-works using DTWC Algorithm
Youngsoo Kim, Daeyoung KIM, Sangbae Jeong, Poh Kit Chong
IPC-07(The 2007 International Conference on Intelligent Pervasive Computing
2007
[]
Target Classification in Sparse Sampling Acoustic Sensor Networks Using DTWC Algorithm
Youngsoo Kim, TaeHong Kim, JongWoo Sung, Seong-eun Yoo
The 2007 International conference intelligent pervasive computing
2007
[]
Target Classification in Sparse Sampling Acoustic Sensor Networks using IDDC Algorithm
Youngsoo Kim, Daeyoung KIM, TaeHong Kim, JongWoo Sung, Seong-eun Yoo
The 3rd International Workshop on RFID and Ubiquitous Sensor Networks ( USN ’07)
2007
[]
Test Cases Generation from UML Activity Diagrams
HyungChoul Kim, Sungwon Kang, Jongmoon BAIK, In-Young Ko
Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2007)
2007
[]