3818 search results - page 401 / 764 » Word Problems on Compressed Words |
172
click to vote
SIAMJO
2010
15 years 1 months ago
2010
Necessary first-order sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. These conditions are sati...
142
click to vote
SIAMMAX
2010
15 years 1 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
190
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
166
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
198
click to vote
TCS
2010
15 years 1 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...