596 search results - page 90 / 120 » Subtyping Recursive Types |
ADBIS
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, the most appropriate buffer structure, page replacement policy and buffering scheme for closest pairs queries, where both spatial datasets are stored in R-trees, are...
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
Global and local adaptive thresholding techniques have been shown effective on particular types of documents. None produces consistently good results on all types of documents. In...
117
click to vote
CIS
2005
Springer
15 years 6 months ago
2005
Springer
Recently, actor-critic methods have drawn much interests in the area of reinforcement learning, and several algorithms have been studied along the line of the actor-critic strategy...
129
click to vote
TYPES
1998
Springer
15 years 5 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
100
click to vote
FPL
2008
Springer
15 years 2 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...