1614 search results - page 6 / 323 » Breadth-First Heuristic Search |
160
Voted
ENTCS
2010
15 years 1 months ago
2010
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...
173
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
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...
136
click to vote
HEURISTICS
2002
15 years 3 months ago
2002
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 ...
113
Voted
HEURISTICS
2010
15 years 1 months ago
2010
