Zobrazeno 1 - 10
of 735
pro vyhledávání: '"Lee Joohyung"'
Autor:
Kang Guseon, Lee Younggeun, Kim Jaeyoon, Yang Dongwook, Nam Han Ku, Kim Shinhyung, Baek Soojeong, Yoon Hyosang, Lee Joohyung, Kim Teun-Teun, Kim Young-Jin
Publikováno v:
Nanophotonics, Vol 13, Iss 7, Pp 983-1003 (2024)
Next-generation 6G communication holds the potential to revolutionize data transfer, enabling the realization of eXtended Reality (XR) with enhanced sensory experiences. To achieve this, advanced components such as high-performance intensity/phase mo
Externí odkaz:
https://doaj.org/article/4b2664ffe33a49f4836f5f6bd1b3e0c6
Whole-slide image (WSI) classification is a challenging task because 1) patches from WSI lack annotation, and 2) WSI possesses unnecessary variability, e.g., stain protocol. Recently, Multiple-Instance Learning (MIL) has made significant progress, al
Externí odkaz:
http://arxiv.org/abs/2402.10595
Split Federated Learning (SFL) has recently emerged as a promising distributed learning technology, leveraging the strengths of both federated and split learning. It emphasizes the advantages of rapid convergence while addressing privacy concerns. As
Externí odkaz:
http://arxiv.org/abs/2311.09441
Autor:
Kim, Joonyoung, Lee, Kangwook, Shin, Haebin, Lee, Hurnjoo, Kang, Sechun, Choi, Byunguk, Shin, Dong, Lee, Joohyung
The more new features that are being added to smartphones, the harder it becomes for users to find them. This is because the feature names are usually short, and there are just too many to remember. In such a case, the users may want to ask contextua
Externí odkaz:
http://arxiv.org/abs/2307.09177
By introducing the concepts of a loop and a loop formula, Lin and Zhao showed that the answer sets of a nondisjunctive logic program are exactly the models of its Clark's completion that satisfy the loop formulas of all loops. Recently, Gebser and Sc
Externí odkaz:
http://arxiv.org/abs/2307.09168
Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding -- to the variable-fr
Externí odkaz:
http://arxiv.org/abs/2307.09166
We present NeurASP, a simple extension of answer set programs by embracing neural networks. By treating the neural network output as the probability distribution over atomic facts in answer set programs, NeurASP provides a simple and effective way to
Externí odkaz:
http://arxiv.org/abs/2307.07700
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in the system of causal logic introduced by McCain and Turner and in the
Externí odkaz:
http://arxiv.org/abs/2307.10227
Autor:
Lee, Joohyung, Meng, Yunsong
Recently Ferraris, Lee and Lifschitz proposed a new definition of stable models that does not refer to grounding, which applies to the syntax of arbitrary first-order sentences. We show its relation to the idea of loop formulas with variables by Chen
Externí odkaz:
http://arxiv.org/abs/2307.10226
Autor:
Bartholomew, Michael, Lee, Joohyung
Publikováno v:
Artificial Intelligence 273, 56-93, 2019
In classical logic, nonBoolean fluents, such as the location of an object, can be naturally described by functions. However, this is not the case in answer set programs, where the values of functions are pre-defined, and nonmonotonicity of the semant
Externí odkaz:
http://arxiv.org/abs/2307.10225