中文
相关论文

相关论文: SOBA: Secrecy-preserving Observable Ballot-level A…

200 篇论文

Risk-limiting audits (RLAs) are techniques for verifying the outcomes of large elections. While they provide rigorous guarantees of correctness, widespread adoption has been impeded by both efficiency concerns and the fact they offer…

密码学与安全 · 计算机科学 2024-06-19 Benjamin Fuller , Rashmi Pai , Alexander Russell

The Voice Conversion Challenge 2020 is the third edition under its flagship that promotes intra-lingual semiparallel and cross-lingual voice conversion (VC). While the primary evaluation of the challenge submissions was done through…

音频与语音处理 · 电气工程与系统科学 2020-09-09 Rohan Kumar Das , Tomi Kinnunen , Wen-Chin Huang , Zhenhua Ling , Junichi Yamagishi , Yi Zhao , Xiaohai Tian , Tomoki Toda

We explore the fundamental properties that are necessary to ensure that election schemes behave as expected. The exploration reveals how our understanding of those expectations has evolved, culminating in the emergence of formal definitions…

密码学与安全 · 计算机科学 2018-09-20 Elizabeth A. Quaglia , Ben Smyth

Each voter $i \in I$ has $\alpha_i$ cards that (s)he distributes among the candidates $a \in A$ as a measure of approval. One (or several) candidate(s) who received the maximum number of cards is (are) elected. We provide polynomial…

组合数学 · 数学 2020-10-30 Endre Boros , Ondrej Cepek , Vladimir Gurvich , Kazuhisa Makino

An election is a process through which citizens in liberal democracies select their governing bodies, usually through voting. For elections to be truly honest, people must be able to vote freely without being subject to coercion; that is…

密码学与安全 · 计算机科学 2016-08-30 Tomer Ashur , Orr Dunkelman , Nimrod Talmon

In an approval-based committee election, the task is to select a committee of up to $k$ candidates from a set of $m$ candidates based on the preferences of $n$ voters, each of whom approves a subset of the candidates. A central open…

计算机科学与博弈论 · 计算机科学 2026-05-08 Patrick Becker , Matthias Greger , Dominik Peters

The task of Visual Sound Source Localization (VSSL) involves identifying the location of sound sources in visual scenes, integrating audio-visual data for enhanced scene understanding. Despite advancements in state-of-the-art (SOTA) models,…

计算机视觉与模式识别 · 计算机科学 2025-01-14 Xavier Juanola , Gloria Haro , Magdalena Fuentes

We consider distributed elections, where there is a center and $k$ sites. In such distributed elections, each voter has preferences over some set of candidates, and each voter is assigned to exactly one site such that each site is aware…

计算机科学与博弈论 · 计算机科学 2019-07-24 Arnold Filtser , Nimrod Talmon

A trusted electronic election system requires that all the involved information must go public, that is, it focuses not only on transparency but also privacy issues. In other words, each ballot should be counted anonymously, correctly, and…

密码学与安全 · 计算机科学 2018-04-19 Wei-Jr Lai Ja-Ling Wu

We study the problem of bribery in multiwinner elections, for the case where the voters cast approval ballots (i.e., sets of candidates they approve) and the bribery actions are limited to: adding an approval to a vote, deleting an approval…

计算机科学与博弈论 · 计算机科学 2021-04-20 Piotr Faliszewski , Piotr Skowron , Nimrod Talmon

Risk-limiting audits (RLAs) are expected to strengthen the public confidence in the correctness of an election outcome. We hypothesize that this is not always the case, in part because for large margins between the winner and the runner-up,…

计算机与社会 · 计算机科学 2021-09-17 Asmita Dalela , Oksana Kulyk , Carsten Schürmann

We revisit the recent breakthrough result of Gkatzelis et al. on (single-winner) metric voting, which showed that the optimal distortion of 3 can be achieved by a mechanism called Plurality Matching. The rule picks an arbitrary candidate…

计算机科学与博弈论 · 计算机科学 2025-02-05 Fatih Erdem Kizilkaya , David Kempe

Epistemic social choice aims at unveiling a hidden ground truth given votes, which are interpreted as noisy signals about it. We consider here a simple setting where votes consist of approval ballots: each voter approves a set of…

计算机科学与博弈论 · 计算机科学 2021-12-09 Tahar Allouche , Jérôme Lang , Florian Yger

We propose a new single-winner voting system using ranked ballots: Stable Voting. The motivating principle of Stable Voting is that if a candidate A would win without another candidate B in the election, and A beats B in a head-to-head…

理论经济学 · 经济学 2023-02-14 Wesley H. Holliday , Eric Pacuit

Within a modern democratic nation, elections play a significant role in the nation's functioning. However, with the existing infrastructure for conducting elections using Electronic Voting Systems (EVMs), many loopholes exist, which…

密码学与安全 · 计算机科学 2023-07-18 Arnab Mukherjee , Souvik Majumdar , Anup Kumar Kolya , Saborni Nandi

This paper presents DiffSum, a simple post-election risk-limiting ballot-polling audit for two-candidate plurality elections. DiffSum sequentially draws ballots (without replacement) until the numbers $a$, $b$, of votes for candidates $A$,…

计算机与社会 · 计算机科学 2015-09-02 Ronald L. Rivest

In many real world elections, agents are not required to rank all candidates. We study three of the most common methods used to modify voting rules to deal with such partial votes. These methods modify scoring rules (like the Borda count),…

计算机科学与博弈论 · 计算机科学 2014-06-02 Nina Narodytska , Toby Walsh

Election control considers the problem of an adversary who attempts to tamper with a voting process, in order to either ensure that their favored candidate wins (constructive control) or another candidate loses (destructive control). As…

多智能体系统 · 计算机科学 2017-11-27 Bryan Wilder , Yevgeniy Vorobeychik

The adoption of crowdsourced election monitoring as a complementary alternative to traditional election monitoring is on the rise. Yet, its reliance on digital response volunteers to manually process incoming election reports poses a…

计算与语言 · 计算机科学 2025-03-06 Jabez Magomere , Scott Hale

Automatic speech verification (ASV) is the technology to determine the identity of a person based on their voice. While being convenient for identity verification, we should aim for the highest system security standard given that it is the…

机器学习 · 计算机科学 2020-12-16 Shentong Mo , Haofan Wang , Pinxu Ren , Ta-Chung Chi