16430 search results - page 831 / 3286 » On Computable Tree Functions |
201
click to vote
JC
2008
15 years 7 months ago
2008
In this paper we analyze the problem of adaptivity for one-step numerical methods for solving ODEs, both IVPs and BVPs, with a view to generating grids of minimal computational co...
175
click to vote
PAMI
2006
15 years 7 months ago
2006
In an errors-in-variables (EIV) model, all the measurements are corrupted by noise. The class of EIV models with constraints separable into the product of two nonlinear functions, ...
219
click to vote
IJON
2007
15 years 7 months ago
2007
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...
211
click to vote
JVCA
2007
15 years 7 months ago
2007
Geographic maps have existed from early stages of human civilization. Various styles of visualizing the geographic information have evolved depending on the nature of information ...
218
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...