Browse "School of Computing(전산학부)" by Title
Showing results 3181 to 3200 of 16084
| Comprehensive analysis of FBD test coverage criteria using mutants Shin, Donghwan; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE AND SYSTEMS MODELING, v.15, no.3, pp.631 - 645, 2016-07 |
| Compressed High Definition Television (HDTV) over IPv6 Lee J.; Chon, Kil Nam, 2006 International Symposium on Applications and the Internet Workshops, SAINT 2006 Workshops, pp.22 - 25, 2006-01-23 |
| Compressing the Graphs in the G-machine by Tag-Forwarding Woo, Gyun; Han, Taisook, JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, v.3, no.1, pp.112 - 138, 1998-01 |
| Compression Schemes with Data Reordering for Ordered Data Lee, Chun-Hee; Chung, Chin-Wan, JOURNAL OF DATABASE MANAGEMENT, v.25, no.1, pp.1 - 28, 2014-01 |
| Computability in linear algebra Brattka, V; Ziegler, M, THEORETICAL COMPUTER SCIENCE, v.326, no.1-3, pp.187 - 211, 2004-10 |
| Computability of the Solutions to Navier-Stokes Equations via Effective Approximation Sun, Shu-Ming; Zhong, Ning; Ziegler, Martin A., International Workshop on Complexity and Approximation, 2019, pp.80 - 112, Springer International Publishing, 2019-04 |
| Computability on regular subsets of Euclidean space Ziegler, M, MATHEMATICAL LOGIC QUARTERLY, v.48, pp.157 - 181, 2002 |
| Computable operations on compact subsets of metric spaces with applications to fréchet distance and shape optimization Park, Chansu; Park, Ji-Won; Park, Sewon; Seon, Dongseong; Ziegler, Martin A, 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.37, KAIST School of Computing, 2017-07 |
| Computable operators on regular sets Ziegler, M, MATHEMATICAL LOGIC QUARTERLY, v.50, no.4-5, pp.392 - 404, 2004 |
| Computation of non-dominated points using compact Voronoi diagrams Bhattacharya, Binay; Bishnu, Arijit; Cheong, Otfried; Das, Sandip; Karmakar, Arindam; Snoeyink, Jack, 4th International Workshop on Algorithms and Computation, WALCOM 2010, pp.82 - 93, 4th International Workshop on Algorithms and Computation, WALCOM 2010, 2010-02-10 |
| Computation of spatial skyline points Bhattacharya, Binay; Bishnu, Arijit; Cheong, Otfried; Das, Sandip; Karmakar, Arindam; Snoeyink, Jack, COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, v.93, pp.101698, 2021-02 |
| Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC Kim, Moonzoo; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Runtime Verification, pp.80 - 84, Runtime Verification, 2002-07-26 |
| Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy Kawamura, Akitoshi; Mueller, Norbert; Roesnick, Carsten; Ziegler, Martin A., JOURNAL OF COMPLEXITY, v.31, no.5, pp.689 - 714, 2015-10 |
| Computational complexity of linear algebra problems with exponential size and real entries = 실수에서의 지수 크기 선형대수학 문제의 계산 복잡도link Koswara, Ivan Adrian; Ziegler, Martin; et al, 한국과학기술원, 2021 |
| Computational Complexity of Quantum Satisfiability Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05 |
| Computational Complexity of Real Powering and Improved Solving Linear Differential Equations Koswara, Ivan; Selivanova, Svetlana; Ziegler, Martin A., 14th International Computer Science Symposium in Russia, pp.215 - 227, Springer International Publishing, 2019-07-05 |
| COMPUTATIONAL COMPLEXITY OF SMOOTH DIFFERENTIAL EQUATIONS Kawamura, Akitoshi; Ota, Hiroyuki; Roesnick, Carsten; Ziegler, Martin, LOGICAL METHODS IN COMPUTER SCIENCE, v.10, no.1, 2014 |
| Computational Considerations on Interpreting Even If Conditionals Choi, Key-Sun; Han, SK, Korean-Japanese Joint Workshop on Formal Grammar, pp.67 - 76, 1986 |
| Computational Generation of Context-based Intonation for Korean with Combinatory Categorial Grammar Lee, Hwa Jin; Park, Jong Cheol, International Conference on Computer Processing of Oriental Languages, pp.0 - 0, International Conference on Computer Processing of Oriental Languages, 2001-05-01 |
| Computational identification of sequence variation and environmental condition in clinical depression from biomedical literature = 생물학 문헌을 통한 우울증에서의 염기서열 변화와 환경조건 자동 식별link You, Jinseon; 유진선; et al, 한국과학기술원, 2016 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989