17450 search results - page 515 / 3490 » Numerical Methods with Applications |
184
Voted
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Embedded Runge-Kutta methods are among the most popular methods for the solution of non-stiff initial value problems of ordinary differential equations (ODEs). We investi...
170
click to vote
VLDB
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we first introduce the database aspects of the groupware product Lotus Domino/Notes and then describe, in some more detail, many of the logging and recovery enhance...
183
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
202
click to vote
EMNLP
2007
15 years 9 months ago
2007
This paper presents a tree-to-tree transduction method for text rewriting. Our model is based on synchronous tree substitution grammar, a formalism that allows local distortion of...
195
click to vote
IAJIT
2006
15 years 7 months ago
2006
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...