Browse "School of Electrical Engineering(전기및전자공학부)" by Subject VERIFICATION

Showing results 1 to 9 of 9

1
(A) design of generic memory model for verification system = 검증 시스템을 위한 통합 메모리 모델의 설계link

Hwangbo, Woong; 황보웅; et al, 한국과학기술원, 2004

2
Augmentation Adversarial Training for Self-Supervised Speaker Representation Learning

Kang, Jingu; Huh, Jaesung; Heo, Hee Soo; Chung, Joon Son, IEEE JOURNAL OF SELECTED TOPICS IN SIGNAL PROCESSING, v.16, no.6, pp.1253 - 1262, 2022-10

3
Discriminative likelihood score weighting based on acoustic-phonetic classification for speaker identification

Suh, Young Joo; Kim, Hoi-Rin, EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2014-08

4
Enhancing performance of HW/SW cosimulation and coemulation by reducing communication overhead

Chung, MK; Kyung, Chong-Min, IEEE TRANSACTIONS ON COMPUTERS, v.55, pp.125 - 136, 2006-02

5
Implementing the flexible development platform to verify IP for SoC with multi-core = 다중코어 SoC 상의 IP 검증을 위한 개발환경 구축link

Kim, Seon-Pil; 김선필; et al, 한국과학기술원, 2004

6
Markov Network-Based Unified Classifier for Face Recognition

Hwang, Wonjun; Kim, Junmo, IEEE TRANSACTIONS ON IMAGE PROCESSING, v.24, no.11, pp.4263 - 4275, 2015-11

7
Performance-optimized synthesis of finite temporal property for functional coverage in co-emulation system = 에뮬레이션 시스템에서 기능검증 보장을 위해 유한한 길이의 속성을 최적화된 성능을 갖도록 합성하는 방법의 제안link

Kim, Hyung-Ock; 김형옥; et al, 한국과학기술원, 2004

8
Reachability-Based Decision-Making for Autonomous Driving: Theory and Experiments

Ahn, Heejin; Berntorp, Karl; Inani, Pranav; Ram, Arjun Jagdish; Di Cairano, Stefano, IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, v.29, no.5, pp.1907 - 1921, 2021-09

9
Robust Supervisors for Intersection Collision Avoidance in the Presence of Legacy Vehicles

Ahn, Heejin; Rizzi, Andrea; Colombo, Alessandro, INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, v.18, no.2, pp.384 - 393, 2020-02

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0