Zobrazeno 1 - 10
of 4 105
pro vyhledávání: '"LIU, Yanhong"'
Autor:
Nerode, Anil, Liu, Yanhong A.
This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13, 2024, in con
Externí odkaz:
http://arxiv.org/abs/2410.19738
Autor:
Warren, David S., Liu, Yanhong A.
This proceedings contains abstracts and position papers for the work presented at the third Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, using zoom, at stonybrook.zoom.us, on December 13, 2022. The workshop focused
Externí odkaz:
http://arxiv.org/abs/2409.19211
In real-world scenarios, many robotic manipulation tasks are hindered by occlusions and limited fields of view, posing significant challenges for passive observation-based models that rely on fixed or wrist-mounted cameras. In this paper, we investig
Externí odkaz:
http://arxiv.org/abs/2409.14891
Autor:
Fang, Hao, Liu, Ajian, Yuan, Haocheng, Zheng, Junze, Zeng, Dingheng, Liu, Yanhong, Deng, Jiankang, Escalera, Sergio, Liu, Xiaoming, Wan, Jun, Lei, Zhen
Face Recognition (FR) systems can suffer from physical (i.e., print photo) and digital (i.e., DeepFake) attacks. However, previous related work rarely considers both situations at the same time. This implies the deployment of multiple models and thus
Externí odkaz:
http://arxiv.org/abs/2401.17699
Autor:
Liu, Yanhong A.
Incremental computation aims to compute more efficiently on changed input by reusing previously computed results. We give a high-level overview of works on incremental computation, and highlight the essence underlying all of them, which we call incre
Externí odkaz:
http://arxiv.org/abs/2312.07946
Publikováno v:
EPTCS 385, 2023, pp. 12-26
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been de
Externí odkaz:
http://arxiv.org/abs/2308.15878
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predicates in rules as set-valued variables that can be used and updated in a
Externí odkaz:
http://arxiv.org/abs/2305.19202
Reliable distributed systems require replication and consensus among distributed processes to tolerate process and communication failures. Understanding and assuring the correctness of protocols for replication and consensus have been a significant c
Externí odkaz:
http://arxiv.org/abs/2305.12040