CS-Journal Papers(저널논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 3144

1

Introduction to the special issue

Grottke, Michael; Bae, Doo-Hwanresearcher; Gran, Bjorn AxelELSEVIER SCIENCE INCJOURNAL OF SYSTEMS AND SOFTWARE, v.83, no.9, pp.1553 - 1554, 2010-09

2

Vibrotactile Compliance Feedback for Tangential Force Interaction

Heo, Seongkook; Lee, GeehyukresearcherIEEE COMPUTER SOCIEEE TRANSACTIONS ON HAPTICS, v.10, no.2, pp.444 - 455, 2017-05

3

Blind Curvelet Watermarking Method for High-Quality Images

Kim, Wook-Hyung; Nam, Seung-Hun; Lee, Heung-KyuresearcherINST ENGINEERING TECHNOLOGY-IETELECTRONICS LETTERS, v.53, no.19, pp.1302 - 1304, 2017-09

4

Search-Based Approaches for Software Module Clustering Based on Multiple Relationship Factors

Hwa, Jimin; Yoo, Shinresearcher; Seo, Yeong-Seok; Bae, Doo-HwanWORLD SCIENTIFIC PUBL CO PTE LTDINTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.27, no.7, pp.1033 - 1062, 2017-09

5

Entity Summarization Based on Entity Grouping in Multilingual Projected Entity Space

Kim, Eun Kyung; Choi, Key-SunresearcherIEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENGIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E100D, no.9, pp.2138 - 2146, 2017-09

6

효율적인 자동 주석을 위한 단어 임베딩 인공 신경 정리 증명계 구축

양원석; 박한철; 박종철researcher한국정보과학회정보과학회논문지, v.44, no.4, pp.399 - 410, 2017-04

7

온라인 게임 내 최고 레벨 유저의 이탈 분석

박건우; 차미영researcher한국정보과학회정보과학회논문지, v.44, no.3, pp.314 - 322, 2017-03

8

Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014

Bauer, Andrej; Berger, Ulrich; Fouche, Willem; Spreen, Dieter; Tsuiki, Hideki; Ziegler, Martin A.researcherJOURNAL LOGIC & ANALYSISJOURNAL OF LOGIC AND ANALYSIS, v.9, 2017-04

9

말뭉치 자원 희소성에 따른 통계적 수지 신호 번역 문제의 해결

박한철; 김정호; 박종철researcher한국정보과학회정보과학회논문지, v.44, no.2, pp.163 - 170, 2017-02

10

안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법

김윤호; 김문주researcher한국정보과학회정보과학회논문지, v.44, no.2, pp.171 - 178, 2017-02

11

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

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

12

초기 소량 데이터와 RNN을 활용한 루머 전파 추적 기법

권세정; 차미영researcher한국정보과학회정보과학회논문지, v.44, no.7, pp.680 - 685, 2017-07

13

대용량 하이퍼그래프에 대한 효율적인 탐색 기법과 분석에의 응용

류충모; 서정혁; 김명호researcher한국정보과학회정보과학회 컴퓨팅의 실제 논문지, v.23, no.8, pp.492 - 497, 2017-08

14

Blind 3D Mesh Watermarking for 3D Printed Model by Analyzing Layering Artifact

Jong-Uk, Hou; Kim, Do-Gon; Lee, Heung-KyuresearcherIEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INCIEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, v.12, no.11, pp.2712 - 2725, 2017-11

15

개인별 심박수 기준을 설정하기 위한 피드백-RFC 모델

김태현; 정필수; 이선아; 정기숙; 금창섭; 강성원researcher한국정보처리학회정보처리학회논문지. 소프트웨어 및 데이터 공학, v.6, no.2, pp.91 - 102, 2017-02

16

대화력전 및 기계화 보병 시나리오를 통한 대규모 가상군의 POMDP 행동계획 및 학습 사례연구

이종민; 홍정표; 박재영; 이강훈; 김기응researcher; 문일철; 박재현한국정보과학회정보과학회 컴퓨팅의 실제 논문지, v.23, no.6, pp.343 - 349, 2017-06

17

Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis

Yoo, Shinresearcher; Xie, Xiaoyuan; Kuo, Fei-Ching; Chen, Tsonng Yueh; Harman, MarkASSOC COMPUTING MACHINERYACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v.26, no.1, 2017-07

18

On the semantics of refinement calculi

Yang, Hongseokresearcher; Reddy, USSPRINGER-VERLAG BERLINFOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, v.1784, pp.359 - 374, 2000

19

A semantic basis for local reasoning

Yang, HSresearcher; O'Hearn, PSPRINGER-VERLAG BERLINFOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, v.2303, pp.402 - 416, 2002

20

Inserting safe memory reuse commands into ML-like programs

Lee, O; Yang, Hongseokresearcher; Yi, KSPRINGER-VERLAG BERLINSTATIC ANALYSIS, PROCEEDINGS, v.2694, pp.171 - 188, 2003

rss_1.0 rss_2.0 atom_1.0