8874 search results - page 193 / 1775 » A New Implementation of Automath |
197
click to vote
CAP
2010
14 years 11 months ago
2010
We present a probabilistic algorithm to interpolate a sparse multivariate polynomial over a finite field, represented with a black box. Our algorithm modifies the algorithm of Ben...
140
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...
137
click to vote
TCOM
2010
14 years 11 months ago
2010
In this paper, we propose a new implementation of the Extended Min-Sum (EMS) decoder for non-binary LDPC codes. A particularity of the new algorithm is that it takes into accounts...
130
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Sand animation is a performance art technique in which an artist tells stories by creating animated images with sand. Inspired by this medium, we have developed a new multitouch d...
164
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We present a new Coprime Blurred Pair (CBP) theory that may benefit a number of computer vision applications. A CBP is constructed by blurring the same latent image with two unkn...