Browse "School of Computing(전산학부)" by Title 

Showing results 10001 to 10020 of 15954

10001
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

10002
Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink

장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999

10003
State의 분리에 의한 HMM 자동구성방법

임헌규; 김진형, 한국정보과학회 봄 학술발표 논문 발표집, v.21, no.1, pp.857 - 860, 한국정보과학회, 1994

10004
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

10005
Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link

Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016

10006
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

10007
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

10008
Static and dynamic combined analysis for bug detection of web apps = 웹 앱 결함 검출을 위한 정적 동적 혼합 분석link

Park, Joonyoung; Ryu, Sukyoung; et al, 한국과학기술원, 2022

10009
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

10010
STATIC FILTERING ON STRATIFIED PROGRAMS

CHANG, BM; Choe, Kwang-Moo; Han, Taisook, INFORMATION PROCESSING LETTERS, v.47, no.5, pp.237 - 244, 1993-10

10011
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

10012
Static transformation for heap layout using memory access patterns = 메모리 접근 패턴을 활용한 힙구성의 정적 변환link

Jeon, Jin-Seong; 전진성; et al, 한국과학기술원, 2007

10013
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

10014
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

10015
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

10016
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

10017
Statistical Morphological Analysis

Choi, Key-Sun; Han, YS, Korea-US Bilateral Workshop on Computers, Artificial Intelligence and Cognitive Science, pp.280 - 286, 1991

10018
Statistical program dependence approximation = 통계적 프로그램 의존성 분석link

Lee, Seongmin; Yoo, Shin; et al, 한국과학기술원, 2022

10019
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

10020
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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0