Browse "School of Computing(전산학부)" by Title
Showing results 10021 to 10040 of 16013
| Stability of the Max-Weight Protocol in Adversarial Wireless Networks Lim Sungsu; Jung Kyomin; Matthew Andrews, International Conference on Computer Communications, INFOCOM, 2012-03 |
| Stability of the Max-Weight Routing and Scheduling Protocol in Dynamic Networks and at Critical Loads Jung, Kyomin; Stolyar, Alexander; Andrews, Matthew, ACM Symposium on Theory of Computing, ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), 2007-06 |
| Stability versus speed in a computable algebraic model Ziegler, M, THEORETICAL COMPUTER SCIENCE, v.351, no.1, pp.14 - 26, 2006-02 |
| Stacked Borrows: An Aliasing Model for Rust Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
| Stacking and bundling two convex polygons Ahn, HK; Cheong, Otfried, ALGORITHMS AND COMPUTATION BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3827, pp.882 - 891, 2005 |
| Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발 = A tool for showing inferenced types of standard ML expressionslink 편기현; Pyun, Ki-Hyun; et al, 한국과학기술원, 1997 |
| Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink 류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996 |
| Standardization and Entity Resolution for Constructing Integrated Biomedical Data Warwhouses Jin, Hyung Seung; Park, HR; Kim, Myoung Ho, Korea Computer Congress 2014 (KCC 2014), pp.308 - 310, The Korean Institute of Information Scientists and Engineers, 2014-06-27 |
| STARE: Spatio-Temporal Attention Relocation for Multiple Structured Activities Detection Lee, Kyuhwa; Ognibene, Dimitri; Chang, Hyung Jin; Kim, Tae-Kyun; Demiris, Yiannis, IEEE TRANSACTIONS ON IMAGE PROCESSING, v.24, no.12, 2015-12 |
| StarryThoughts: Facilitating Diverse Opinion Exploration on Social Issues Kim, Hyunwoo; Kim, Haesoo; Jo, Kyung Je; Kim, Juho, Proceedings of the ACM on Human-Computer Interaction, v.5, no.CSCW1, pp.1 - 29, 2021-04 |
| Starvation-free secure multiversion concurrency control Kim, HT; Kim, Myoung Ho, INFORMATION PROCESSING LETTERS, v.65, no.5, pp.247 - 253, 1998-03 |
| State transition modeling and syntactic validation of a connection establishment protocol = 접속 형성 프로토콜의 상태 천이 모형화 및 구문법적 검증에 관한 연구link Jeong, Man-Sang; 정만상; et al, 한국과학기술원, 1984 |
| State-based key management scheme for wireless sensor networks Park, J.; Kim, Z.; Kim, Kwangjo, 2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2005, v.2005, pp.819 - 825, IEEE, 2005-11-07 |
| State-Based Random Key Pre-Distribution Scheme for Wireless Sensor Networks 박재민; 김진; 김광조, 2005년 한국정보보호학회 하계정보보호학술대회, pp.37 - 42, 한국정보보호학회, 2005-06-03 |
| State-checking push-pull interface generation for rapid prototyping = 빠른 원형 제작을 위한 상태 검사 푸시-풀 인터페이스 생성link Son, Choon-Ho; 손춘호; et al, 한국과학기술원, 2006 |
| State-wise Potential Description for Modeling Relationships between Distant Nodes in Markov Random Fields Kwon, Y; Kim, JinHyung, 2nd Korea-Japan Joint Workshop on Pattern Recognition (KJPR 2007), v.107, no.281, pp.9 - 14, 2007-10 |
| Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink 장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999 |
| State의 분리에 의한 HMM 자동구성방법 임헌규; 김진형, 한국정보과학회 봄 학술발표 논문 발표집, v.21, no.1, pp.857 - 860, 한국정보과학회, 1994 |
| Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity Park, Changhee; Lee, Hongki; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.48, no.4, pp.911 - 944, 2018-04 |
| Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,769 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989