CORR
2016
Springer
10 years 1 months ago
2016
Springer
Why has SIFT been so successful? Why its extension, DSP-SIFT, can further improve SIFT? Is there a theory that can explain both? How can such theory benefit real applications? Ca...
107
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Most data for evaluating and training recommender systems is subject to selection biases, either through self-selection by the users or through the actions of the recommendation s...
CORR
2016
Springer
2016
Springer
Numerically validating the completeness of the real solution set of a system of polynomial equations
10 years 1 months ago
Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach th...
100
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Electrical power systems are one of the most important infrastructures that support our society. However, their vulnerabilities have raised great concern recently due to several l...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word ...
101
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We introduce a model for the classical synchronised multiple access system with a single transmission channel and a randomised transmission protocol (ALOHA). We assume in addition ...
101
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We show in this paper that the Gentry-Szydlo algorithm for cyclotomic orders, previously revisited by Lenstra-Silverberg, can be extended to complex-multiplication (CM) orders, an...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Random walks are a fundamental model in applied mathematics and are a common example of a Markov chain. The limiting stationary distribution of the Markov chain represents the frac...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We propose a general model that sequentially and dynamically acquire useful information to solve a task under the Learning to Search framework. By focusing on most prominent parts...