4341 search results - page 485 / 869 » Quantitative Model checking |
157
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents two novel estimation methods that are designed to enhance our ability of observing, positioning, and physically transforming the objects and/or biological s...
138
Voted
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
We present an evolving neural network model in which synapses appear and disappear stochastically according to bio-inspired probabilities. These are in general nonlinear functions ...
180
click to vote
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a novel feedback control-based load shedding scheme for data stream processing. Firstly we apply system identification to establish a dynamic model to de...
139
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The Internet AS level topology, upon which BGP4 runs, plays a vital role in the analysis and study of the global routing behavior. However, the study of the topology itself is n...
214
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...