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

Showing results 3181 to 3200 of 16017

3181
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

3182
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

3183
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

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

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

3185
Computational Complexity of Quantum Satisfiability

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

3186
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

3187
COMPUTATIONAL COMPLEXITY OF SMOOTH DIFFERENTIAL EQUATIONS

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

3188
Computational Considerations on Interpreting Even If Conditionals

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

3189
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

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

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

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

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

3192
Computational power of infinite quantum parallelism

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

3193
Computational Processing of Honorifics in Korean with Combinatory Categorial Grammar

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

3194
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

3195
Computer Application Technologies: Case Study in Republic of

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

3196
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

3197
Computer Networks for Korean Academic and Research Communities

Chon, Kil Nam, INET, Copenhagen, 1991

3198
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

3199
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

3200
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

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0