3872 search results - page 604 / 775 » The Java memory model |
132
click to vote
ICANN
2010
Springer
15 years 3 months ago
2010
Springer
We present a biologically inspired neural network model of visual orienting (using saccadic eye movements) in which targets are preferentially selected according to their reward va...
108
click to vote
AUTOMATICA
2010
15 years 2 months ago
2010
: In this paper, two nonlinear optimization methods for the identification of nonlinear systems are compared. Both methods estimate all the parameters of a polynomial nonlinear sta...
137
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
142
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
114
click to vote
IJHR
2008
15 years 2 months ago
2008
Engineers have long used control systems utilizing models and feedback loops to control realworld systems. Limitations of model-based control led to a generation of intelligent co...