Hyeonseung Im

发表

Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data (Nationwide Cohort Data in Korea)

Gihun Joo, Yeongjin Song, Hyeonseung Im, 2020, IEEE Access.

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches

Giuseppe Castagna, Hyeonseung Im, Véronique Benzaken, 2015, ESOP.

A calculus for hardware description

Hyeonseung Im, Sungwoo Park, 2011, J. Funct. Program..

Group skyline computation

Hyeonseung Im, Sungwoo Park, Sungwoo Park, 2012, Inf. Sci..

Functional netlists

Hyeonseung Im, Jinha Kim, Sungwoo Park, 2008, ICFP 2008.

Coinductive Subtyping for Recursive and Union Types

Hyeonseung Im, 2016 .

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation

Luca Padovani, Giuseppe Castagna, Hyeonseung Im, 2014, POPL.

Optimizing skyline queries over incomplete data

Hyeonseung Im, Jongwuk Lee, Gae-won You, 2016, Inf. Sci..

A Deep Learning-Based Face Mesh Data Denoising System

Hyeonseung Im, Jongmin Kim, Jihyun Roh, 2019 .

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types

Hyeonseung Im, Sungwoo Park, Keiko Nakata, 2013, ICALP.

A Comparative Study of Bitcoin Price Prediction Using Deep Learning

Hyeonseung Im, Jongmin Kim, Suhwan Ji, 2019, Mathematics.

Parallel Skyline Computation on Multicore Architectures

Jonghyun Park, Hyeonseung Im, Jinha Kim, 2009, ICDE.

Parallel Skyline Computation on Multicore Architectures

Jonghyun Park, Hyeonseung Im, Sungwoo Park, 2009, 2009 IEEE 25th International Conference on Data Engineering.

Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data

Hyeonseung Im, Myeong-Seon Gil, Yang-Sae Moon, 2019, Sensors.

The Farthest Spatial Skyline Queries

Seung-won Hwang, Hyeonseung Im, Gae-won You, 2013, Inf. Syst..

Deep Learning-Based Human Motion Denoising

Hyeonseung Im, Jongmin Kim, Seong Uk Kim, 2019 .

Functional netlists

Hyeonseung Im, Jinha Kim, Sungwoo Park, 2008, ICFP.

Computing Exact Skyline Probabilities for Uncertain Databases

Hyeonseung Im, Dongwon Kim, Sungwoo Park, 2012, IEEE Transactions on Knowledge and Data Engineering.

Backward type inference for XML queries

Hyeonseung Im, Nils Gesbert, Pierre Genevès, 2020, Theor. Comput. Sci..

Performance Evaluation of Machine Learning Optimizers

Gihun Joo, Hyeonseung Im, Chihyun Park, 2020 .

Type-safe higher-order channels with channel locality

Hyeonseung Im, Sungwoo Park, 2009, J. Funct. Program..

A syntactic type system for recursive modules

Hyeonseung Im, Sungwoo Park, Jacques Garrigue, 2011, OOPSLA '11.

A modal logic internalizing normal proofs

Hyeonseung Im, Sungwoo Park, 2011, Inf. Comput..

Precise and scalable static analysis of jQuery using a regular expression domain

Hyeonseung Im, Sukyoung Ryu, Changhee Park, 2016, DLS.

Evaluating Countermeasures for Verifying the Integrity of Ethereum Smart Contract Applications

Hyeonseung Im, Suhwan Ji, Dohyung Kim, 2021, IEEE Access.

Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization

Hyeonseung Im, Siwoon Son, Yang-Sae Moon, 2021, The Journal of Supercomputing.

Human motion reconstruction using deep transformer networks

Hyeonseung Im, Hanyoung Jang, Seong Uk Kim, 2021, Pattern Recognit. Lett..

Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis

Hyeonseung Im, Sang-Ki Ko, Su-Hyeon Kim, 2021, CIAA.

On Correspondence between Selective CPS Transformation and Selective Double Negation Translation

Hyeonseung Im, 2021 .

Product Category Classification using Word Embedding and GRUs

Gihun Joo, Hyeonseung Im, Heesang Kim, 2021 .

Parallel Top-k Query Processing using MapReduce

Hyeonseung Im, Hyeonseung Im, Min-Young Son, .