2203 search results - page 342 / 441 » Temporal Abstract Interpretation |
136
Voted
CSL
1992
Springer
15 years 7 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
123
click to vote
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
141
Voted
AIME
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
118
click to vote
CISSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract- This paper explores valuing long-term equity forwardcontracts or futures where both the underlying volatility and the interest rates are modeled as stochastic random vari...
137
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...