122 search results - page 19 / 25 » Computing Properties of Numerical Imperative Programs by Sym... |
ISSAC
2007
Springer
15 years 5 months ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
SAIG
2000
Springer
15 years 3 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
101
click to vote
ICA3PP
2005
Springer
15 years 5 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
91
Voted
ISSAC
1995
Springer
15 years 3 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...