2634 search results - page 172 / 527 » Faster Than Uppaal |
155
Voted
FPL
2008
Springer
15 years 7 months ago
2008
Springer
Today, quasi-Monte Carlo (QMC) methods are widely used in finance to price derivative securities. The QMC approach is popular because for many types of derivatives it yields an es...
136
click to vote
FPL
2008
Springer
15 years 7 months ago
2008
Springer
Two-variable numerical functions are widely used in various applications, such as computer graphics and digital signal processing. Fast and compact hardware implementations are re...
147
click to vote
AAAI
2010
15 years 7 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
132
click to vote
AAAI
2010
15 years 7 months ago
2010
Trial-based approaches offer an efficient way to solve singleagent MDPs and POMDPs. These approaches allow agents to focus their computations on regions of the environment they en...
160
Voted
DAGSTUHL
2008
15 years 7 months ago
2008
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...