Zobrazeno 1 - 10
of 544
pro vyhledávání: '"Stuckey, Peter J"'
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
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
Various risk-limiting audit (RLA) methods have been developed for instant-runoff voting (IRV) elections. A recent method, AWAIRE, is the first efficient approach that can take advantage of but does not require cast vote records (CVRs). AWAIRE involve
Externí odkaz:
http://arxiv.org/abs/2403.15400
Single Transferable Vote (STV) elections are a principled approach to electing multiple candidates in a single election. Each ballot has a starting value of 1, and a candidate is elected if they gather a total vote value more than a defined quota. Vo
Externí odkaz:
http://arxiv.org/abs/2402.03707
Widespread use of artificial intelligence (AI) algorithms and machine learning (ML) models on the one hand and a number of crucial issues pertaining to them warrant the need for explainable artificial intelligence (XAI). A key explainability question
Externí odkaz:
http://arxiv.org/abs/2312.06973