154 citations
- Czech Academy of Sciences, Institute of MathematicsCZ2 papers
- Dong A University2 papers
- Florida State UniversityUS2 papers
- Kyungsung UniversityKR2 papers
- University of TorontoCA2 papers
- Czech Academy of SciencesCZ1 paper
- Environmental and Occupational Health Sciences InstituteUS1 paper
- Institut de Mathématiques de ToulonFR1 paper
- Kyungil UniversityKR1 paper
- Kyungpook National UniversityKR1 paper
- National Institute for Mathematical SciencesKR1 paper
- Rutgers, The State University of New JerseyUS1 paper
33 papers
SonoCraftAR: Towards Supporting Personalized Authoring of Sound-Reactive AR Interfaces by Deaf and Hard of Hearing Users
Jaewook Lee, Davin Win Kyi, Leejun Kim +5
Augmented reality (AR) has shown promise for supporting Deaf and hard-of-hearing (DHH) individuals by captioning speech and visualizing environmental sounds, yet existing systems d…
Serpentinization in the thermal evolution of icy Kuiper belt objects in the early Solar system
Anikó Farkas-Takács, Csaba Kiss, Sándor Góbi +1
Here we present an improved algorithm to model the serpentinization process in planetesimals in the early Solar system. Although it is hypothesized that serpentinization-like react…
What is an Algorithm?: a Modern View
Keehang Kwon
Although algorithm is one of the central subjects, there have been little common understandings of what an algorithm is. For example, Gurevich view algorithms as abstract state mac…
Computability-logic web: an alternative to deep learning
Keehang Kwon
{\em Computability logic} (CoL) is a powerful, mathematically rigorous computational model. In this paper, we show that CoL-web, a web extension to CoL, naturally supports web prog…
Implementing Agent-Based Systems via Computability Logic CL2
Keehang Kwon
Computability logic(CoL) is a powerful computational model. In this paper, we show that CoL naturally supports multi-agent programming models where resources (coffee for example) a…
Agent-Based Proof Design via Lemma Flow Diagram
Keehang Kwon, Daeseong Kang
We discuss an agent-based approach to proof design and implementation, which we call {\it Lemma Flow Diagram} (LFD). This approach is based on the multicut rule with cuts.…