8486 search results - page 31 / 1698 » Ordered Enumeration Method |
100
click to vote
ARITH
2003
IEEE
15 years 7 months ago
2003
IEEE
We aim at evaluating elementary and special functions using small tables and small, rectangular, multipliers. To do that, we show how accurate polynomial approximations whose orde...
110
click to vote
AML
2006
15 years 2 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...
116
click to vote
JAR
2002
15 years 1 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
118
click to vote
SIGGRAPH
1993
ACM
15 years 6 months ago
1993
ACM
Many of the current radiosity algorithms create a piecewise constant approximation to the actual radiosity. Through interpolation and extrapolation, a continuous solution is obtai...
145
click to vote
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
— We present a new optimization procedure which is particularly suited for the solution of second-order kernel methods like e.g. Kernel-PCA. Common to these methods is that there...