Sciweavers

1986 search results - page 94 / 398
» Modelling Learning Subjects as Relationships
Sort
View
140
Voted
ITA
2006
15 years 5 months ago
Probabilistic models for pattern statistics
In this work we study some probabilistic models for the random generation of words over a given alphabet used in the literature in connection with pattern statistics. Our goal is t...
Massimiliano Goldwurm, Roberto Radicioni
ESOP
2005
Springer
15 years 11 months ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg
136
Voted
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 11 months ago
Bayesian optimization models for particle swarms
We explore the use of information models as a guide for the development of single objective optimization algorithms, giving particular attention to the use of Bayesian models in a...
Christopher K. Monson, Kevin D. Seppi
GECCO
2006
Springer
132views Optimization» more  GECCO 2006»
15 years 9 months ago
A neural evolutionary approach to financial modeling
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approac...
Antonia Azzini, Andrea Tettamanzi
BC
2002
91views more  BC 2002»
15 years 5 months ago
Linear combinations of nonlinear models for predicting human-machine interface forces
ACT This study presents a computational framework that capitalizes on known human neuromechanical characteristics during limb movements in order to predict man-machine interactions...
James L. Patton, Ferdinando A. Mussa-Ivaldi