203 search results - page 1 / 41 » Decision Tree Pruning as a Search in the State Space |
ECML
1993
Springer
13 years 9 months ago
1993
Springer
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
DIAGRAMS
2008
Springer
13 years 7 months ago
2008
Springer
State-space search methods in problem solving have often been illustrated using tree diagrams. We explore a set of issues related to coordination in collaborative problem solving a...
DEXA
2010
Springer
13 years 3 months ago
2010
Springer
We researched to try to find a way to reduce the cost of nearest neighbor searches in metric spaces. Many similarity search indexes recursively divide a region into subregions by u...
GLVLSI
2009
IEEE
14 years 9 days ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...