9006 search results - page 1501 / 1802 » Modeling Software |
183
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
148
click to vote
FPL
2008
Springer
15 years 6 months ago
2008
Springer
We have constructed a FPGA-based "early neural circuit simulator" to model the first two stages of stimulus encoding and processing in the rat whisker system. Rats use t...
125
click to vote
ANOR
2006
15 years 4 months ago
2006
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...
147
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Spiking neural networks are computationally more powerful than conventional artificial neural networks. Although this fact should make them especially desirable for use in evoluti...
139
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...