1915 search results - page 65 / 383 » A language for functional interpretation of model based simu... |
CMPB
2007
13 years 9 months ago
2007
We show that it is possible to construct numerical models of eye colour from first principles. Our initial model assumes that the important optical interactions occur only in the a...
ISNN
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose a radial basis function (RBF) neural network for nonlinear time-invariant channel equalizer. The RBF network model has a three-layer structure which is com...
AIEDU
2005
13 years 9 months ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper presents the applicability of a cosimulation methodology based on an object-oriented simulation environment, to multi-domain and multi-language systems design. This met...