5200 search results - page 667 / 1040 » Symbolic models for control systems |
219
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
206
click to vote
NN
2006
Springer
15 years 7 months ago
2006
Springer
Neurophysiology reveals the properties of individual mirror neurons in the macaque while brain imaging reveals the presence of `mirror systems' (not individual neurons) in th...
221
click to vote
CEFP
2005
Springer
16 years 1 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
197
click to vote
ICANN
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
206
click to vote
WSC
1998
15 years 9 months ago
1998
An attractive feature of many simulation packages is their availability on desktop computers and their potential for allowing the user to run a simulation model under different co...