Zobrazeno 1 - 10
of 3 228
pro vyhledávání: '"Liu, Yanhong A."'
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
Publikováno v:
Cailiao gongcheng, Vol 52, Iss 6, Pp 59-68 (2024)
Metal oxides are often used as electrode materials for supercapacitors because of their high capacity, low cost, suitability for commercialization, and environmental friendliness. In this study, Mn-MOF was used as a precursor and placed in et
Externí odkaz:
https://doaj.org/article/be99bb46f8f54edcb7dd013ffa25dea7
Publikováno v:
Shanghai Jiaotong Daxue xuebao, Vol 58, Iss 6, Pp 954-964 (2024)
A proportional-integral-derivative (PID) control strategy based on desired dynamics equation is proposed to solve the problem of load frequency control in micro-grid integrated with a large proportion of renewable energy. Based on the analysis of the
Externí odkaz:
https://doaj.org/article/957ce4af2c4342b78709da3ec9ae0b68
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction wit
Externí odkaz:
http://arxiv.org/abs/2211.09923