2799 search results - page 174 / 560 » computing 1998 |
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we explore the object-oriented reflective world, performing an overview of the existing models and presenting a set of features suitable to evaluate the quality of e...
144
click to vote
PVM
1998
Springer
15 years 7 months ago
1998
Springer
The problem of evaluating the dominant eigenvalue of real matrices using Monte Carlo numerical methods is considered. Three almost optimal Monte Carlo algorithms are presented:
123
click to vote
JCC
2002
15 years 2 months ago
2002
: The predictor-corrector method for following a reduced gradient (RGF) to determine saddle points [Quapp, W. et al., J Comput Chem 1998, 19, 1087] is further accelerated by a modi...
150
click to vote
TCS
1998
15 years 2 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
126
click to vote
SOFSEM
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The problem of reconstructing a discrete set from its horizontal and vertical projections (RSP) is of primary importance in many different problems for example pattern re...