Sciweavers

1614 search results - page 6 / 323
» Breadth-First Heuristic Search
Sort
View
154
Voted
ENTCS
2010
103views more  ENTCS 2010»
15 years 1 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
162
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Clustering of bootstrapped acoustic model with full covariance
HMM-based acoustic models built from bootstrap are generally very large, especially when full covariance matrices are used for Gaussians. Therefore, clustering is needed to compac...
Xin Chen, Xiaodong Cui, Jian Xue, Peder Olsen, Joh...
104
Voted
HEURISTICS
2002
88views more  HEURISTICS 2002»
15 years 3 months ago
The Parallel Variable Neighborhood Search for the p-Median Problem
Félix García-López, Bel&eacut...
131
Voted
HEURISTICS
2002
122views more  HEURISTICS 2002»
15 years 3 months ago
Complete Local Search with Memory
Neighborhood search heuristics like local search and its variants are some of the most popular approaches to solve discrete optimization problems of moderate to large size. Apart ...
Diptesh Ghosh, Gerard Sierksma
108
Voted
HEURISTICS
2010
15 years 1 months ago
Special issue on hyper-heuristics in search and optimization
Gabriela Ochoa, Ender Özcan