172 search results - page 11 / 35 » Testing Reactive Probabilistic Processes |
MDM
2009
Springer
14 years 1 months ago
2009
Springer
—A nearest neighbor query is an important notion in spatial databases and moving object databases. In the emerging application fields of moving object technologies, such as mobi...
QEST
2005
IEEE
14 years 29 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
NIPS
2007
13 years 8 months ago
2007
Neural spike trains present challenges to analytical efforts due to their noisy, spiking nature. Many studies of neuroscientific and neural prosthetic importance rely on a smooth...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents a new algorithm based on shift-invariant probabilistic latent component analysis that analyzes harmonic structures in an audio signal. Each note in a constant-...
AAAI
1998
13 years 8 months ago
1998
Probabilistic planning algorithms seek e ective plans for large, stochastic domains. maxplan is a recently developed algorithm that converts a planning problem into an E-Majsat pr...