12438 search results - page 218 / 2488 » The Magic of a Number System |
112
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The solving of least square systems is a useful operation in neurocomputational modeling of learning, pattern matching, and pattern recognition. In these last two cases, the soluti...
146
click to vote
FUIN
2008
15 years 4 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
141
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that inputs are generated randomly from a known class consist...
118
click to vote
SIAMCO
2002
15 years 4 months ago
2002
In this paper we develop and present new convex synthesis conditions for robust performance in linear time-varying systems, subject to time-varying perturbations. In particular, th...
134
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...