한요섭 교수
Yosep Han
연세대학교 컴퓨터과학과 · 컴퓨터과학
연구실 소개
한요섭 교수의 연구실은 정보 이론과 계산 이론을 기반으로 한산한 정규언어, 표현 자동화, 상태 복잡도 이론 등에 깊이 몰입하고 있습니다. 특히 접두어 자유, 접속어 자유 등 특수한 언어 구조를 가진 정규언어의 성질을 분석하고, 이에 기반한 자동화 기법과 복잡도 이론을 개발합니다. 또한 의료 영상에서의 노이즈 분포 추정, IoT 환경에 최적화된 개인화 추천 시스템 등 응용 분야로의 확장도 함께 진행하고 있습니다.
연구 현황
연구 성과 추이
표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.
주요 논문
15Knowledge of the noise distribution in magnitude diffusion MRI images is the centerpiece to quantify uncertainties arising from the acquisition process. The use of parallel imaging methods, the number of receiver coils and imaging filters applied by the scanner, amongst other factors, dictate the resulting signal distribution. Accurate estimation beyond textbook Rician or noncentral chi distributions often requires information about the acquisition process (e.g., coils sensitivity maps or recons
We investigate the nondeterministic state complexity of basic operations for prefix-free regular languages. The nondeterministic state complexity of an operation is the number of states that are necessary and sufficient in the worst-case for a minimal nondeterministic finite-state automaton that accepts the language obtained from the operation. We establish the precise state complexity of catenation, union, intersection, Kleene star, reversal and complementation for prefix-free regular languages
We explore expression automata with respect to determinism and minimization. We define determinism of expression automata using prefix-freeness. This approach is, to some extent, similar to that of Giammarresi and Montalbano's definition of deterministic generalized automata. We prove that deterministic expression automata languages are a proper subfamily of the regular languages. We close by defining the minimization of deterministic expression automata.
We study infix-free regular languages. We observe the structural properties of finite-state automata for infix-free languages and develop a polynomial-time algorithm to determine infix-freeness of a regular language using state-pair graphs. We consider two cases: 1) A language is specified by a nondeterministic finite-state automaton and 2) a language is specified by a regular expression. Furthermore, we examine the prime infix-free decomposition of infix-free regular languages and design an alg
We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. First we compute upper bounds using structural properties of minimal deterministic finite-state automata for finite languages. Then, we show that the upper bounds are tight if we have a variable sized alphabet that can depend on the size of input deterministic finite-state automata. In addition, we prove that the upper bounds are un
Recently, the Internet of things (IoT) became useful in various applications based on the web communication technology. The IoT has great potential in several service domains including cultural, educational, or medical areas. We consider a recommendation technique suitable for the IoT-based service. A personalized recommender system often relies on user preferences for better suggestions. We notice that we need a different recommendation approach in the IoT platform. While the conventional recom
The edit-distance between two strings is the smallest number of operations required to transform one string into the other. The distance between languages L 1 and L 2 is the smallest edit-distance between string w i ∈ L i , i = 1, 2. We consider the problem of computing the edit-distance of a given regular language and a given context-free language. First, we present an algorithm that finds for the languages an optimal alignment, that is, a sequence of edit operations that transforms a string in
대표 연구 분야
한요섭 교수의 연구를 Nubint에서 더 깊이 살펴보세요
이 연구실의 논문을 앱에서 열어 AI와 함께 읽고, 핵심을 요약하고, 내 글에 인용하세요.