692 search results - page 68 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
CISSE
2007
Springer
15 years 3 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...
142
click to vote
EUROMED
2010
14 years 9 months ago
2010
Modern high resolution 3D-measuring techniques are widely used in quality control and industrial production, because they allow precise and reliable inspection of objects. Their po...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We derive a continuous probability distribution which generates neighbours of a point in an interval in a similar way to the bitwise mutation of a Gray code binary string...
SIGDOC
2003
ACM
15 years 5 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...