Zobrazeno 1 - 10
of 3 715
pro vyhledávání: '"Stuckey, P"'
Autor:
Zang, Hongzhi, Zhang, Yulun, Jiang, He, Chen, Zhe, Harabor, Daniel, Stuckey, Peter J., Li, Jiaoyang
We study the problem of optimizing a guidance policy capable of dynamically guiding the agents for lifelong Multi-Agent Path Finding based on real-time traffic patterns. Multi-Agent Path Finding (MAPF) focuses on moving multiple agents from their sta
Externí odkaz:
http://arxiv.org/abs/2411.16506
Faster pathfinding in time-dependent transport networks is an important and challenging problem in navigation systems. There are two main types of transport networks: road networks for car driving and public transport route network. The solutions tha
Externí odkaz:
http://arxiv.org/abs/2410.15715
Despite the practical success of Artificial Intelligence (AI), current neural AI algorithms face two significant issues. First, the decisions made by neural architectures are often prone to bias and brittleness. Second, when a chain of reasoning is r
Externí odkaz:
http://arxiv.org/abs/2410.14219
Autor:
Conway, Andrew, Blom, Michelle, Ek, Alexander, Stuckey, Peter J., Teague, Vanessa J., Vukcevic, Damjan
Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences over candidates. There are a variety of different versions of STV legislated and/or appl
Externí odkaz:
http://arxiv.org/abs/2409.11627
Autor:
Cai, Zhixi, Cardenas, Cristian Rojas, Leo, Kevin, Zhang, Chenyuan, Backman, Kal, Li, Hanbing, Li, Boying, Ghorbanali, Mahsa, Datta, Stavya, Qu, Lizhen, Santiago, Julian Gutierrez, Ignatiev, Alexey, Li, Yuan-Fang, Vered, Mor, Stuckey, Peter J, de la Banda, Maria Garcia, Rezatofighi, Hamid
This paper addresses the problem of autonomous UAV search missions, where a UAV must locate specific Entities of Interest (EOIs) within a time limit, based on brief descriptions in large, hazard-prone environments with keep-out zones. The UAV must pe
Externí odkaz:
http://arxiv.org/abs/2409.10196
Publikováno v:
Electronic Voting, E-Vote-ID 2024, Lecture Notes in Computer Science 15014 (2024) 37-53
AWAIRE is one of two extant methods for conducting risk-limiting audits of instant-runoff voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of candidates, but the original implementation incurred memory and computatio
Externí odkaz:
http://arxiv.org/abs/2407.16465
Autor:
Stuckey, W. M., Silberstein, Michael
Price and Wharton have recently suggested that "constrained retrocausal collider bias is the origin of entanglement." In this paper, we argue that their connection across a constrained collider (CCC) for the V-shaped case with the Bell states is not
Externí odkaz:
http://arxiv.org/abs/2406.19419
Many automated planning methods and formulations rely on suitably designed abstractions or simplifications of the constrained dynamics associated with agents to attain computational scalability. We consider formulations of temporal planning where int
Externí odkaz:
http://arxiv.org/abs/2406.09661
Statically typed languages offer significant advantages, such as bug prevention, enhanced code quality, and reduced maintenance costs. However, these benefits often come at the expense of a steep learning curve and a slower development pace. Haskell,
Externí odkaz:
http://arxiv.org/abs/2405.12697
Polymorphic types are an important feature in most strongly typed programming languages. They allow functions to be written in a way that can be used with different data types, while still enforcing the relationship and constraints between the values
Externí odkaz:
http://arxiv.org/abs/2405.12699