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

Showing results 2781 to 2800 of 4139

2781
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

2782
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

2783
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

2784
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

2785
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

2786
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

2787
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

2788
SPECIFYING AND INHERITING CONCURRENT OBJECTS

RYU, K; Maeng, SeungRyoul, MICROPROCESSING AND MICROPROGRAMMING, v.34, no.1-5, pp.167 - 170, 1992-02

2789
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

2790
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

2791
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

2792
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

2793
Speculative incoherent cache protocols

Huh, Jaehyuk; Burger, D; Chang, JC; Sohi, GS, IEEE MICRO, v.24, no.6, pp.104 - 109, 2004

2794
Speech and music pitch trajectory classification using recurrent neural networks for monaural speech segregation

Kim, Han-Gyu; Jang, Gil-Jin; Oh, Yung-Hwan; Choi, Ho-Jin, JOURNAL OF SUPERCOMPUTING, v.76, no.10, pp.8193 - 8213, 2020-10

2795
Speech Segregation based on Pitch Track Correction and Music-Speech Classification

Kim, Han-Gyu; Jang, Gil-Jin; Park, Jeong-Sik; Kim, Ji-Hwan; Oh, Yung-Hwan, ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, v.12, no.2, pp.15 - 20, 2012

2796
Speech-imagery-based brain-computer interface system using ear-EEG

Kaongoen, Netiwit; Choi, Jaehoon; Jo, Sungho, JOURNAL OF NEURAL ENGINEERING, v.18, no.1, 2021-02

2797
SPEEDUP METHODS FOR NEURAL-NETWORK LEARNING

CHO, SB; Kim, JinHyung, JOURNAL OF SYSTEMS ENGINEERING, v.5, no.2, pp.91 - 101, 1995-05

2798
SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information

m. h. kim; Kwon, Yong Rae, AUSTRALIAN COMPUTER JOURNAL, v.21, no.1, pp.19 - 27, 1989-02

2799
SPH Fluid Tactile Rendering for Ultrasonic Mid-Air Haptics

Jang, Jaehyun; Park, Jinah, IEEE TRANSACTIONS ON HAPTICS, v.13, no.1, pp.116 - 122, 2020-01

2800
SPH 기반의 유체 및 용해성 강체에 대한 시각-촉각 융합 상호작용 시뮬레이션

김석열; 박진아, 한국가시화정보학회지, v.15, no.1, pp.32 - 40, 2017-04

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0