1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LG2022
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting
Su-Hyeon Kim, Hyunjoon Cheon, Yo-Sub Han +1
Due to the practical importance of regular expressions (regexes, for short), there has been a lot of research to automatically generate regexes from positive and negative string ex…
cs.CV2018
Neural Sign Language Translation based on Human Keypoint Estimation
Sang-Ki Ko, Chang Jo Kim, Hyedong Jung +1
We propose a sign language translation system based on human keypoint estimation. It is well-known that many problems in the field of computer vision require a massive amount of da…
cs.CC2017★ 1 cited
Composition problems for braids: Membership, Identity and Freeness
Sang-Ki Ko, Igor Potapov
In this paper we investigate the decidability and complexity of problems related to braid composition. While all known problems for a class of braids with three strands, , hav…