Showing results 10081 to 10100 of 16084
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 |
Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T) Park, Changhee; Won, Sooncheol; Jin, Joonho; Ryu, Sukyoung, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.552 - 562, IEEE Computer Society and ACM SIGSFOT, 2015-11-13 |
Static Analysis of JNI Programs via Binary Decompilation Park, Jihee; Lee, Sungho; Hong, Jaemin; Ryu, Sukyoung, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.49, no.5, pp.3089 - 3105, 2023-05 |
Discover