3994 search results - page 185 / 799 » A Linear Logical Framework |
147
Voted
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
Reinforcement learning algorithms can become unstable when combined with linear function approximation. Algorithms that minimize the mean-square Bellman error are guaranteed to co...
138
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Sparse linear solvers account for much of the execution time in many high-performance computing (HPC) applications, and not every solver works on all problems. Hence choosing a su...
107
click to vote
VLBV
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we propose a very simple FIR pre-filter based method for near optimal least-squares linear approximation of discrete time signals. A digital pre-processing filter,...
174
click to vote
JMLR
2002
15 years 4 months ago
2002
Recently, sample complexity bounds have been derived for problems involving linear functions such as neural networks and support vector machines. In many of these theoretical stud...
139
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...