Sciweavers

1010 search results - page 4 / 202
» A Database Approach to Distributed State Space Generation
Sort
View
NIPS
2004
13 years 6 months ago
A Harmonic Excitation State-Space Approach to Blind Separation of Speech
We discuss an identification framework for noisy speech mixtures. A block-based generative model is formulated that explicitly incorporates the time-varying harmonic plus noise (H...
Rasmus Kongsgaard Olsson, Lars Kai Hansen
EUROPAR
2000
Springer
13 years 9 months ago
Parallelizing an Unstructured Grid Generator with a Space-Filling Curve Approach
A new parallel load distribution algorithm for unstructured parallel grid generation is presented. This new approach is based on a space-filling curve. The space-filling curve'...
Jörn Behrens, Jens Zimmermann
SOFSEM
2009
Springer
14 years 2 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
AAAI
2007
13 years 7 months ago
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces
State estimation in multiagent settings involves updating an agent’s belief over the physical states and the space of other agents’ models. Performance of the previous approac...
Prashant Doshi
ISSTA
2006
ACM
13 years 11 months ago
Test input generation for java containers using state matching
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...