1695 search results - page 88 / 339 » Linear, Polynomial or Exponential |
144
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
133
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
We study the polynomial reconstruction problem for low-degree multivariate polynomials over finite field F[2]. In this problem, we are given a set of points x ∈ {0, 1}n and ta...
131
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We state and analyze the first active learning algorithm which works in the presence of arbitrary forms of noise. The algorithm, A2 (for Agnostic Active), relies only upon the ass...
132
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
128
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents how to extract non-linear features by linear PCA. KPCA is effective but the computational cost is the drawback. To realize both non-linearity and low computati...