Browse "School of Computing(전산학부)" by Title
Showing results 9941 to 9960 of 16012
| Specification and analysis of timing requirements for real-time systems in the CBD approach Lee, Ho Kyoung; Lee, Woo Jin; Chae, Heung Seok; Kwon, Yong Rae, REAL-TIME SYSTEMS, v.36, no.1-2, pp.135 - 158, 2007-07 |
| Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007 |
| Specification and space complexity of collaborative text editing Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek, THEORETICAL COMPUTER SCIENCE, v.855, pp.141 - 160, 2021-02 |
| Specification and Validation of Dynamic Systems Using Temporal Logic Cho, Seung Mo; Kim, Hyung Ho; Cha, Sung Deok; Bae, Doo Hwan, IEE Proceedings - Software, Vol.148, No.4, pp.135-140, 2001-08 |
| Specification and validation of dynamic systems using temporal logic Cho S.M.; Kim H.H.; Cha S.D.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.4, pp.135 - 140, 2001-08 |
| Specification Error Detection of Structured Workflow Definition Using Set Constraint System Shim, Jaeyong; Lee, Minkyu; Han, Dongsoo, IEICE Transaction of Information & System, Vol.E00-D, 2004-12 |
| Specification of multimedia composition and a visual programming environment Eun, SB; No, ES; Kim, HC; Yoon, Hyunsoo; Maeng, SR, Proceedings of the 1st ACM International Conference on Multimedia, pp.167 - 173, 1993-08-01 |
| Specification of Pagoda Distributed File System 전길남, Proc. of KISS, 1985 |
| Specification Seeding Method(SSM): Automatic Component Software Generation Using Spontaneous Composition Between Components Park, WJ; Joo, BG; Bae, Doo-Hwan, Software Engineering, Artificial Intelligence, Networking & Paralle/Distributed Computing, pp.817 - 824, 2001 |
| Specification-Based Program Slicing and Its Application w. k. lee; i. s. chung; g. s. yoon; Kwon, Yong Rae, JOURNAL OF SYSTEMS ARCHITECTURE, v.47, no.5, pp.427 - 443, 2001-05 |
| Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007 |
| SPECIFYING AND INHERITING CONCURRENT OBJECTS RYU, K; Maeng, SeungRyoul, MICROPROCESSING AND MICROPROGRAMMING, v.34, no.1-5, pp.167 - 170, 1992-02 |
| Specifying and Verifying Real-Time Systems with Timing Uncertainty h. s. bae; i. s. chung; Kwon, Yong Rae, JOURNAL OF SYSTEMS AND SOFTWARE, v.50, no.1, pp.85 - 96, 2000-01 |
| Speckle noise reduction in optical diffraction tomography using convolutional neural network Hwang, Inwoo; Park, Jinah, BIEN 2017, The International Conference of Women Scientists and Engineers conference on BT, IT, ET and NT (BIEN), 2017-08-31 |
| Spectral analysis for billion-scale graphs: discoveries and implementation Kang, U; Brendan Meeder; Christos Faloutsos, Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) 2011, 기타, 2011-05-25 |
| Spectral magnitude normalisation and cepstral coefficient transform for noisy-Lombard speech recognition Chi, SM; Oh, Yung-Hwan, ELECTRONICS LETTERS, v.32, no.19, pp.1761 - 1763, 1996-09 |
| Spectral-based automatic labeling and refining of human cortical sulcal curves using expert-provided examples Lyu, Ilwoo; Seong, Joon-Kyung; Shin, Sung-Yong; Im, Kiho; Roh, Jee Hoon; Kim, Min-Jeong; Kim, Geon Ha; et al, NEUROIMAGE, v.52, no.1, pp.142 - 157, 2010-08 |
| Spectral-based automatic labeling and refining of Human Cortical Sulcal Curves using Expert-Provided Examples = 전문가가 제공한 예제를 이용한 스펙트럼 기반 주요 대뇌 열구 곡선의 자동 레이블링 및 정제link Lyu, Il-Woo; 류일우; et al, 한국과학기술원, 2011 |
| Spectral-Based Group Formation Control Takahashi, S.; Yoshida, K.; Kwon, T.; Lee, K.H.; Lee, J.; Shin, Sung-Yong, Eurographics 2009, 2009 |
| Spectral-Based Group Formation Control Takahashi, Shigeo; Yoshida, Kenichi; Kwon, Tae-Soo; Lee, Kang-Hoon; Lee, Je-Hee; Shin, Sung-Yong, COMPUTER GRAPHICS FORUM, v.28, no.2, pp.639 - 648, 2009 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,768 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989