1150 search results - page 20 / 230 » Tackling Large State Spaces in Performance Modelling |
ICASSP
2011
IEEE
13 years 16 days ago
2011
IEEE
A randomly distributed microphone array is considered in this work. In many applications exact design of the array is impractical. The performance of these arrays, characterized b...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
Assimilation of spatially- and temporally-distributed state observations into simulations of dynamical systems stemming from discretized PDEs leads to inverse problems with high-di...
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
FGR
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a real-time 3D pointing gesture recognition algorithm for natural human-robot interaction (HRI). The recognition errors in previous pointing gesture reco...
ICANN
2007
Springer
14 years 3 months ago
2007
Springer
Neurotransmitter fields differ from neural fields in the underlying principle that the state variables are not the neuron action potentials, but the chemical concentration of neuro...