4962 search results - page 650 / 993 » Stochastic Model Checking |
160
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
180
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In a seminal paper in 1973, Black and Scholes argued how expected distributions of stock prices can be used to price options. Their model assumed a directed random motion for the ...
192
click to vote
NN
2002
Springer
15 years 6 months ago
2002
Springer
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...
167
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
204
click to vote
EUROCAST
1997
Springer
15 years 10 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...