상세 보기
임현승
Im, Hyeon Seung
춘천캠퍼스
대학
IT대학
컴퓨터공학과
연구분야
- 공학,
- 컴퓨터학,
- 프로그래밍언어, 기계학습, 의료인공지능
자료 필터
자료유형
발행연도
2011 ~ 2026
2011 2026
키워드
언어
전체 102건 중 91번부터 100번까지의 결과를 표시합니다.
2015
Article
A core calculus for XQuery 3.0 combining navigational and pattern matching approaches
- Castagna, Giuseppe ;
- Im, Hyeonseung ;
- Nguyễn, Kim ;
- Benzaken, Véronique
- 2015
- Lecture Notes in Computer Science
- Springer Verlag service@springer.de
2014
Article
Polymorphic Functions with Set-Theoretic Types Part 1: Syntax, Semantics, and Evaluation
- Castagna, Giuseppe ;
- Nguyen, Kim ;
- Xu, Zhiwu ;
- Im, Hyeonseung ;
- Lenglet, Serguei ;
- 외 1명
- 2014-01
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
- ASSOC COMPUTING MACHINERY
2013
Article
The Farthest Spatial Skyline Queries
- You, Gae-won ;
- Lee, Mu-Woong ;
- Im, Hyeonseung ;
- Hwang, Seung-won
- 2013-05
- Information Systems
- PERGAMON-ELSEVIER SCIENCE LTD
2012
Article
A Syntactic Type System for Recursive Modules
- 임현승 ;
- 임정표 ;
- 박성우
- 2012-12
- 정보과학회 컴퓨팅의 실제 논문지
- 한국정보과학회
Article
Computing Exact Skyline Probabilities for Uncertain Databases
- Kim, Dongwon ;
- Im, Hyeonseung ;
- Park, Sungwoo
- 2012-12
- IEEE Transactions on Knowledge and Data Engineering
- IEEE COMPUTER SOC
Article
Group skyline computation
- Im, Hyeonseung ;
- Park, Sungwoo
- 2012-04-01
- Information Sciences
- ELSEVIER SCIENCE INC
2011
Article
A modal logic internalizing normal proofs
- Park, Sungwoo ;
- Im, Hyeonseung
- 2011-12
- Information and Computation
- ACADEMIC PRESS INC ELSEVIER SCIENCE
Article
A Syntactic Type System for Recursive Modules
- Im, Hyeonseung ;
- Nakata, Keiko ;
- Garrigue, Jacques ;
- Park, Sungwoo
- 2011-10
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
- ASSOC COMPUTING MACHINERY