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

Showing results 3181 to 3200 of 16012

3181
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

3182
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

3183
Computational complexity of linear algebra problems with exponential size and real entries = 실수에서의 지수 크기 선형대수학 문제의 계산 복잡도link

Koswara, Ivan Adrian; Ziegler, Martin; et al, 한국과학기술원, 2021

3184
Computational Complexity of Quantum Satisfiability

Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05

3185
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

3186
COMPUTATIONAL COMPLEXITY OF SMOOTH DIFFERENTIAL EQUATIONS

Kawamura, Akitoshi; Ota, Hiroyuki; Roesnick, Carsten; Ziegler, Martin, LOGICAL METHODS IN COMPUTER SCIENCE, v.10, no.1, 2014

3187
Computational Considerations on Interpreting Even If Conditionals

Choi, Key-Sun; Han, SK, Korean-Japanese Joint Workshop on Formal Grammar, pp.67 - 76, 1986

3188
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

3189
Computational identification of sequence variation and environmental condition in clinical depression from biomedical literature = 생물학 문헌을 통한 우울증에서의 염기서열 변화와 환경조건 자동 식별link

You, Jinseon; 유진선; et al, 한국과학기술원, 2016

3190
Computational imaging with light waves = 광파 특성을 이용한 계산 영상학link

Baek, Seung-Hwan; Kim, Min Hyuk; et al, 한국과학기술원, 2019

3191
Computational power of infinite quantum parallelism

Ziegler, M, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, v.44, no.11, pp.2059 - 2071, 2005-11

3192
Computational Processing of Honorifics in Korean with Combinatory Categorial Grammar

Kwon, O-Sik; Park, Jong Cheol, 한글 및 한국어 정보처리 학술대회, pp.365 - 372, 한글 및 한국어 정보처리 학술대회, 2001-10

3193
Computational support for facilitating parental reflective functioning in everyday parent-child interaction

Kim, Wonjung; Lee, Seungchul; Kim, Seonghoon; Jo, Sungbin; Yoo, Chungkuk; Hwang, Inseok; Kang, Seungwoo; et al, ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers, UbiComp/ISWC 2020, pp.54 - 58, Association for Computing Machinery, 2020-09

3194
Computer Application Technologies: Case Study in Republic of

Chon, Kil Nam, Proc. of Symposium on Computer Application Technology, Japan, 1981

3195
Computer Assisted Annotation of Tension Development in TED Talks through Crowdsourcing

Yoon, SW; YANG, WONSUK; Park, Jong-Cheol, Proceedings of the First Workshop on Aggregating and Analysing Crowdsourced Annotations for NLP, pp.39 - 47, Aggregating and Analysing Crowdsourced Annotations for NLP, 2019-11-04

3196
Computer Networks for Korean Academic and Research Communities

Chon, Kil Nam, INET, Copenhagen, 1991

3197
Computer puppetry: An importance-based approach

Shin, HJ; Lee, J; Shin, Sung-Yong; Gleicher, M, ACM TRANSACTIONS ON GRAPHICS, v.20, no.2, pp.67 - 94, 2001-04

3198
Computer Science for Continuous Data Survey, Vision, Theory, and Practice of a Computer Algebra Analysis System

Brauße, Franz; Collins, Pieter; Ziegler, Martin A, 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, pp.62 - 82, Springer Science and Business Media Deutschland GmbH, 2022-08

3199
COMPUTER SYSTEM FOR PROVIDING TACTILE INTERFACE FOR REAL-TIME TWO-DIMENSIONAL TACTILE INPUT/OUTPUT INTERACTION OF VISUALLY IMPAIRED PEOPLE, AND OPERATING METHOD THEREOF

Lee, Geehyuk; Jung, Jingun; Son, Sunmin; Lee, Sangyoon; Kim, Yeonsu

3200
Computer Vision for Industry Automation: Applied Areas. Problems, and Current Trends

양현승, 89 국내외 한국과학기술자 학술회의 춘계 워크샵, pp.0 - 0, 1989-04

Discover

rss_1.0 rss_2.0 atom_1.0