4930 search results - page 254 / 986 » Learning minimal abstractions |
154
click to vote
JSC
2008
15 years 6 months ago
2008
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
132
click to vote
MP
2008
15 years 6 months ago
2008
Abstract In this note we discuss the convergence of Newton's method for minimization. We present examples in which the Newton iterates satisfy the Wolfe conditions and the Hes...
191
click to vote
SCL
2008
15 years 6 months ago
2008
ABSTRACT: Linear function approximations based on random projections are proposed and justified for a class of fixed point and minimization problems. KEY WORDS: random projections,...
177
click to vote
RML
2006
15 years 6 months ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
150
click to vote
SIAMJO
2000
15 years 6 months ago
2000
Abstract. Many variational inequality problems (VIPs) can be reduced, by a compactification procedure, to a VIP on the canonical simplex. Reformulations of this problem are studied...