S-Space

Browse

Communities & Collections

Journal Papers (저널논문_컴퓨터공학부)

in
Search for:

Browse

Issue Date	Title / Author(s) / Citation	File
2020-03	데이터 분포 관찰을 통한 공간 효율적인 Top-k Query 인코딩 이대영; Satti, Srinivasa Rao 정보과학회논문지, Vol.47 No.3, pp.235-239	DOI
2020-03	고성능 컴퓨팅 시스템에서의 RocksDB 병렬성 증대를 위한 최적의 자원 할당 기법 김화정; 염헌영; 손용석 정보과학회 컴퓨팅의 실제 논문지, Vol.26 No.3, pp.144-149	DOI
2020-02	Sampling subgraphs with guaranteed treewidth for accurate and efficient graphical inference Yoo, Jaemin; Kang, U; Scanagatta, Mauro; Corani, Giorgio; Zaffalon, Marco WSDM 2020 - Proceedings of the 13th International Conference on Web Search and Data Mining, pp.708-716	DOI
2020-02	추가 정보를 고려한 상품 리뷰 요약 기법 윤재연; 이익훈; 이상구 정보과학회논문지, Vol.47 No.2, pp.180-188	DOI
2020-02	Random walk-based ranking in signed social networks: model and algorithms Jung, Jinhong; Jin, Woojeong; Kang, U. Knowledge and Information Systems, Vol.62 No.2, pp.571-610	DOI
2020-01	Fast multiple pattern cartesian tree matching Gu, Geonmo; Song, Siwoo; Faro, Simone; Lecroq, Thierry; Park, Kunsoo Lecture Notes in Computer Science, Vol.12049 LNCS, pp.107-119	DOI
2020-01	An equational theory for weak bisimulation via generalized parameterized coinduction Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Zdancewic, Steve CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, pp.71-84	DOI
2020-01	Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems Lee, Wonseok; Jeong, Jaehwan; Park, Seonghyeon; Lee, Changgun Lecture Notes in Computer Science, Vol.11971 LNCS, pp.127-152	DOI
2020-01	Dual attention networks for visual reference resolution in visual dialog Kang, Gi-Cheon; Lim, Jaeseo; Zhang, Byoung-Tak EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference, pp.2024-2033
2020-01	Simulating problem difficulty in arithmetic cognition through dynamic connectionist models Cho, Sungjae; Lim, Jaeseo; Hickey, Chris; Park, Jung Ae; Zhang, Byoung-Tak Proceedings of ICCM 2019 - 17th International Conference on Cognitive Modeling, pp.29-34
2020-01	CompCertM: CompCert with C-assembly linking and lightweight modular verification Song, Youngju; Cho, Minki; Kim, Dongjoo; Kim, Yonghyun; Kang, Jeehoon; Hur, Chung-Kil Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 23	DOI
2020-01	Joint Radio Resource Management of Channel-Assignment and User-Association for Load Balancing in Dense WLAN Environment Oh, Hyun Seob; Jeong, Dong Geun; Jeon, Wha Sook IEEE Access, Vol.8, pp.69615-69628	DOI
2020-01	Interaction trees: Representing recursive and impure programs in Coq Xia, Li-Yao; Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Malecha, Gregory; Pierce, Benjamin C.; Zdancewic, Steve Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 51	DOI
2019-12	Venn-diaNet : venn diagram based network propagation analysis framework for comparing multiple biological experiments Hur, Benjamin; Kang, Dongwon; Lee, Sangseon; Moon, Ji Hwan; Lee, Gung; Kim, Sun BMC Bioinformatics, 20(Suppl 23):667	view file link
2019-12	StressGenePred: a twin prediction model architecture for classifying the stress types of samples and discovering stress-related genes in arabidopsis Kang, Dongwon; Ahn, Hongryul; Lee, Sangseon; Lee, Chai-Jin; Hur, Jihye; Jung, Woosuk; Kim, Sun BMC Genomics, 20(Suppl 11):949	view file link
2019-12	HTRgene: a computational method to perform the integrated analysis of multiple heterogeneous time-series data: case analysis of cold and heat stress response signaling genes in Arabidopsis Ahn, Hongryul; Jung, Inuk; Chae, Heejoon; Kang, Dongwon; Jung, Woosuk; Kim, Sun BMC Bioinformatics, (Suppl 16):588	view file link
2019-12	Profiling dynamic data access patterns with controlled overhead and quality Park, SeongJae; Lee, Yunjae; Yeom, Heonyoung Middleware Industry 2019 - Proceedings of the 2019 20th International Middleware Conference Industrial Track, Part of Middleware 2019, pp.1-7	DOI
2019-12	Conditionally optimal task parallelization for global EDF on multi-core systems Cho, Youngeun; Kim, Do Hyung; Park, Daechul; Lee, Seung Su; Lee, Chang-Gun Proceedings - Real-Time Systems Symposium, Vol.2019-December, pp.194-206	DOI
2019-12	CaPSSA: visual evaluation of cancer biomarker genes for patient stratification and survival analysis using mutation and expression data Jang, Yeongjun; Seo, Jihae; Jang, Insu; Lee, Byungwook; Kim, Sun; Lee, Sanghyuk Bioinformatics, Vol.35 No.24, pp.5341-5343	DOI
2019-12	혁신적이고 포괄적인 동아시아 음악데이터베이스(EMDB II)의 디자인 및 웹 시스템 구축: 통합적인 음악 역사 기술(記述)의 길을 열다 채현경; 김은하; 박정숙; 김주섭; 문봉기; 유진선; 김신효; 신승남 音.樂.學, Vol.37, pp.7-60

1 5 6 7 8 9 10 11 23