#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2005

2015

- This year (0)
- Last 5 years (4)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

Learn More

- Neil Toronto, Dan Ventura
- 2006 IEEE International Conference onâ€¦
- 2006

Developing quantum algorithms has proven to be very difficult. In this paper, the concept of using classical machine learning techniques to derive quantum operators from examples is presented. Aâ€¦ (More)

- Neil Toronto, Bryan S. Morse, Dan Ventura, Kevin D. Seppi
- 2007 IEEE International Conference on Imageâ€¦
- 2007

This paper shows that the basic Hough transform is implicitly a Bayesian process-that it computes an unnormalized posterior distribution over the parameters of a single shape given feature points.â€¦ (More)

- Neil Toronto, Jay McCarthy, David Van Horn
- ESOP
- 2015

Many probabilistic programming languages allow programs to be run under constraints in order to carry out Bayesian inference. Running programs under constraints could enable other uses such as rareâ€¦ (More)

- Neil Toronto, Jay McCarthy
- Computing in Science & Engineering
- 2014

With the right tools, floating-point code can be debugged like any other code, drastically improving its accuracy and reliability.

- Neil Toronto, Bryan S. Morse, Kevin D. Seppi, Dan Ventura
- 2009 IEEE Conference on Computer Vision andâ€¦
- 2009

This paper presents Bayesian edge inference (BEI), a single frame super resolution method explicitly grounded in Bayesian inference that addresses issues common to existing methods. Though the bestâ€¦ (More)

- Vincent St-Amour, Neil Toronto
- ICFP
- 2013

As programmers, programming in typed languages increases our confidence in the correctness of our programs. As type system designers, soundness proofs increase our confidence in the correctness ofâ€¦ (More)

- Neil Toronto, Dan Ventura, B. S. Morse
- Proceedings. 2005 IEEE International Jointâ€¦
- 2005

Image interpolation algorithms try to fit a function to a matrix of samples in a "natural-looking" way. This paper presents edge inference, an algorithm that does this by mixing neural networkâ€¦ (More)

- Neil Toronto, Jay McCarthy
- IFL
- 2010

Bayesian practitioners build models of the world without regarding how difficult it will be to answer questions about them. When answering questions, they put off approximating as long as possible,â€¦ (More)

- Neil Toronto, Jay McCarthy
- FLOPS
- 2012

Applied mathematicians increasingly use computers to answer mathematical questions. We want to provide them domain-specific languages. The languages should have exact meanings and computationalâ€¦ (More)

- Neil Toronto
- 2014

Trustworthy, Useful Languages for Probabilistic Modeling and Inference Neil Toronto Department of Computer Science, BYU Doctor of Philosophy The ideals of exact modeling, and of putting offâ€¦ (More)

- â€¹
- 1
- â€º