Sciweavers

5409 search results - page 261 / 1082
» Basic Observables for Processes
Sort
View
UAI
2003
15 years 8 months ago
Optimal Limited Contingency Planning
For a given problem, the optimal Markov policy over a finite horizon is a conditional plan containing a potentially large number of branches. However, there are applications wher...
Nicolas Meuleau, David E. Smith
PTS
1998
81views Hardware» more  PTS 1998»
15 years 8 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
ICASSP
2010
IEEE
15 years 6 months ago
Large margin filtering for Signal Sequence Labeling
Signal Sequence Labeling consists in predicting a sequence of labels given an observed sequence of samples. A naive way is to filter the signal in order to reduce the noise and t...
Rémi Flamary, Benjamin Labbé, Alain ...
ICASSP
2010
IEEE
15 years 6 months ago
Designing the Wiener post-filter for diffuse noise suppression using imaginary parts of inter-channel cross-spectra
This paper describes a new design of the Wiener post-filter for diffuse noise suppression. The Wiener post-filter is well-known as an effective post-processing of the minimum va...
Nobutaka Ito, Nobutaka Ono, Emmanuel Vincent, Shig...
ICASSP
2010
IEEE
15 years 6 months ago
Noise robust exemplar-based connected digit recognition
This paper proposes a noise robust exemplar-based speech recognition system where noisy speech is modeled as a linear combination of a set of speech and noise exemplars. The metho...
Jort F. Gemmeke, Tuomas Virtanen