5615 search results - page 231 / 1123 » On the Computational Capabilities of Several Models |
208
click to vote
BIOADIT
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper we present a functional model of a spiking neuron intended for hardware implementation. Some features of biological spiking neuabstracted, while preserving ...
185
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
160
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we describe an objective-based Data Farming approach for red teaming called Automated Red Teaming (ART). The main idea is to develop an ART framework using Evolutio...
230
click to vote
WSC
1998
15 years 8 months ago
1998
The Detailed Policy Assessment Tool (DPAT) is a widely used simulation of air traffic control that incorporates advanced technology for user-friendly operation. DPAT computes cong...
183
click to vote
ACRI
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allo...