5084 search results - page 188 / 1017 » Proving Possibility Properties |
184
click to vote
ISAAC
2010
Springer
15 years 4 months ago
2010
Springer
The concept of neighbor system, introduced by Hartvigsen (2009), is a set of integral vectors satisfying a certain combinatorial property. In this paper, we reveal the relationship...
146
click to vote
APAL
2010
15 years 3 months ago
2010
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
185
click to vote
CMA
2010
15 years 3 months ago
2010
Starting with a general definition of the Laplace transform on arbitrary time scales, we specify the Laplace transform on isolated time scales, prove several properties of the Lapl...
172
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infin...
175
click to vote
PRL
2011
15 years 1 months ago
2011
Machine Learning based on the Regularized Least Square (RLS) model requires one to solve a system of linear equations. Direct-solution methods exhibit predictable complexity and s...