Showing results 10021 to 10040 of 16112
Special issue: Computer Software & Applications Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.76, no.1, pp.1 - 2, 2005-04 |
Special Issue: Selected Papers from the 21st Annual International Symposium on Algorithms and Computation FOREWORD Cheong, Otfried; Okamoto, Yoshio, INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, v.22, no.1, pp.1 - 2, 2012-02 |
Special section on artificial reality and telexistence Yang, Hyun-Seung, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, pp.9 - 10, 2006-01 |
Special T-Net: Nested encoder-decoder architecture for the main vessel segmentation in coronary angiography Jun, Tae Joon; Kweon, Jihoon; Kim, Young-Hak; Kim, Daeyoung, NEURAL NETWORKS, v.128, pp.216 - 233, 2020-08 |
Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002 |
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 |
Discover