18209 search results - page 282 / 3642 » Some Remarks on the Paper |
168
click to vote
DM
2007
15 years 6 months ago
2007
In this paper, we obtain some new results R(5, 12) 848, R(5, 14) 1461, etc., and we obtain new upper bound formulas for Ramsey numbers with parameters. © 2006 Published by Elsevi...
166
click to vote
MP
2006
15 years 6 months ago
2006
In this paper, we provide theoretical analysis for a cubic regularization of Newton method as applied to unconstrained minimization problem. For this scheme, we prove general local...
189
click to vote
FUIN
2007
15 years 6 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
173
click to vote
COLING
2002
15 years 6 months ago
2002
This paper presents a framework for clustering in text-based information retrieval systems. The prominent feature of the proposed method is that documents, terms, and other relate...
154
click to vote
MOC
2000
15 years 6 months ago
2000
In this paper we shall derive a posteriori error estimates in the L1-norm for upwind finite volume schemes for the discretization of nonlinear conservation laws on unstructured gri...