Showing results 3201 to 3220 of 16117
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 |
Computational imaging with light waves = 광파 특성을 이용한 계산 영상학link Baek, Seung-Hwan; Kim, Min Hyuk; et al, 한국과학기술원, 2019 |
Computational power of infinite quantum parallelism Ziegler, M, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, v.44, no.11, pp.2059 - 2071, 2005-11 |
Computational Processing of Honorifics in Korean with Combinatory Categorial Grammar Kwon, O-Sik; Park, Jong Cheol, 한글 및 한국어 정보처리 학술대회, pp.365 - 372, 한글 및 한국어 정보처리 학술대회, 2001-10 |
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 |
Computer Application Technologies: Case Study in Republic of Chon, Kil Nam, Proc. of Symposium on Computer Application Technology, Japan, 1981 |
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 |
Computer Networks for Korean Academic and Research Communities Chon, Kil Nam, INET, Copenhagen, 1991 |
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 |
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 |
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 |
Computer Vision for Industry Automation: Applied Areas. Problems, and Current Trends 양현승, 89 국내외 한국과학기술자 학술회의 춘계 워크샵, pp.0 - 0, 1989-04 |
Discover