598 search results - page 23 / 120 » Typing the Numeric Tower |
PRL
2002
13 years 7 months ago
2002
A new method of kernel density estimation with a varying adaptive window size is proposed. It is based on the socalled intersection of confidence intervals (ICI) rule. Several exa...
EOR
2011
13 years 2 months ago
2011
We develop a numerical scheme for determining the optimal asset allocation strategy for time-consistent, continuous time, mean variance optimization. Any type of constraint can be...
JSYML
2010
13 years 2 months ago
2010
We prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functionals of finite type. As an application, we...
ENTCS
2008
13 years 7 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
TPHOL
2003
IEEE
14 years 23 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...