#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2004

2017

- This year (2)
- Last 5 years (3)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Anthony Di Franco, Andrew Petro, Emmett Shear, Vladimir Vladimirov
- Commun. ACM
- 2004

Considering the effects and implications of changing only a single vote per machine.

We examine the effects of a type of electoral fraud easily perpetrated by someone with access to the system software for a direct-recording electronic voting system. The hypothetical attacker modifies the software to arbitrarily change a small number of votes on each voting machine. We determine the effect of this manipulation on the electoral college… (More)

- Anthony Di Franco
- PLP@ILP
- 2017

Despite large incentives, correctness in software remains an elusive goal. Declarative programming techniques, where algorithms are derived from a specification of the desired behavior, offer hope to address this problem, since there is a combinatorial reduction in complexity in programming in terms of specifications instead of algorithms, and arbitrary… (More)

- Anthony Di Franco, K. S. Narendra
- Proceedings 2005 IEEE Swarm Intelligence…
- 2005

The original flocking model proposed and simulated by Reynolds [1987] and recently analytically verified to be convergent in a modified form by Tanner et. al. demands tracking and combining the movement parameters of a potentially large number of neighboring agents. We investigate an alternative simplification of the verified model wherein only two nearest… (More)

- Anthony Di Franco
- ArXiv
- 2010

The aim of this work is to address the question of whether we can in principle design rational decision-making agents or artificial intelligences embedded in computable physics such that their decisions are optimal in reasonable mathematical senses. Recent developments in rare event probability estimation, recursive bayesian inference, neural networks, and… (More)

- Anthony Di Franco
- ArXiv
- 2014

To date, work on formalizing connectionist computation in a way that is at least Turingcomplete has focused on recurrent architectures and developed equivalences to Turing machines or similar super-Turing models, which are of more theoretical than practical significance. We instead develop connectionist computation within the framework of information… (More)

Numerical software is used in a wide variety of applications including safety-critical systems, which have stringent correctness requirements, and whose failures have catastrophic consequences that endanger human life. Numerical bugs are known to be particularly difficult to diagnose and fix, largely due to the use of approximate representations of numbers… (More)

- ‹
- 1
- ›