44 search results - page 1 / 9 » Verified Null-Move Pruning |
63
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
In this article we review standard null-move pruning and introduce our extended version of it, which we call verified null-move pruning. In verified null-move pruning, whenever th...
72
Voted
CG
2008
Springer
15 years 7 days ago
2008
Springer
Abstract. In this paper we review the conventional versions of nullmove pruning, and present our enhancements which allow for a deeper search with greater accuracy. While the conve...
75
Voted
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
95
Voted
CVPR
2007
IEEE
16 years 8 days ago
2007
IEEE
We present an approach for object recognition that combines detection and segmentation within a efficient hypothesize/test framework. Scanning-window template classifiers are the ...
64
Voted
KDD
1994
ACM
15 years 2 months ago
1994
ACM
Pre-Pruning and Post-Pruning are two standard methods of dealing with noise in concept learning. Pre-Pruning methods are very efficient, while Post-Pruning methods typically are m...