Showing results 10001 to 10020 of 15954
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 |
Static and dynamic combined analysis for bug detection of web apps = 웹 앱 결함 검출을 위한 정적 동적 혼합 분석link Park, Joonyoung; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
Static extensivity analysis for lambda-definable functions over lattices Eo, Hyun-Jun; Yi, Kwang-Keun; Choe, Kwang-Moo, NEW GENERATION COMPUTING, v.24, no.1, pp.53 - 78, 2006 |
STATIC FILTERING ON STRATIFIED PROGRAMS CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.5, pp.237 - 244, 1993-10 |
Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs Lee, O; Yang, Hongseok; Yi, K, SCIENCE OF COMPUTER PROGRAMMING, v.58, no.1-2, pp.141 - 178, 2005-10 |
Static transformation for heap layout using memory access patterns = 메모리 접근 패턴을 활용한 힙구성의 정적 변환link Jeon, Jin-Seong; 전진성; et al, 한국과학기술원, 2007 |
Statistical character structure modeling and its application to handwritten Chinese character recognition Kim, IJ; Kim, JinHyung, IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, v.25, no.11, pp.1422 - 1436, 2003-11 |
Statistical Investigation on Class Mutation Operators Ma, Yu-Seung; Kwon, Yong Rae; Kim, Sang-Woon, ETRI JOURNAL, v.31, no.2, pp.140 - 150, 2009-04 |
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation Kim, Youngjoo; Kim, Moonzoo; Kim, Tai Hyo, Haifa Verification Conference (HVC), IBM Research Haifa, 2012-11-07 |
A Statistical Model for Automatic Extraction of Korean Transliterated oh, Jong-hun; Choi, Key-Sun, A maximum entropy approach to natural language processing, Vol. 16, No. 1, pp. 41–62, World Scientific Publishing, 2003-03 |
Statistical Morphological Analysis Choi, Key-Sun; Han, YS, Korea-US Bilateral Workshop on Computers, Artificial Intelligence and Cognitive Science, pp.280 - 286, 1991 |
Statistical program dependence approximation = 통계적 프로그램 의존성 분석link Lee, Seongmin; Yoo, Shin; et al, 한국과학기술원, 2022 |
Statistical Utilization of Structural Neighborhood Information for Oriental Character Recognition Kim, JinHyung; Kim , IJ, Fourth IAPR International Workshop on Document Analysis Systems, pp.13 - 15, 2000-12 |
Statistical Verification Framework for Platooning System of Systems with Uncertainty Hyun, Sangwon; Song, Jiyoung; Shin, Seungchyul; Bae, Doo-Hwan, 26th Asia-Pacific Software Engineering Conference (APSEC), pp.212 - 219, IEEE, 2019-12 |
Discover