3055 search results - page 357 / 611 » Randomized Search Trees |
AAAI
2000
15 years 5 months ago
2000
Maxn (Luckhardt and Irani, 1986) is the extension of the minimax backup rule to multi-player games. We have shown that only a limited version of alpha-beta pruning, shallow prunin...
153
Voted
C3S2E
2010
ACM
15 years 4 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
147
click to vote
TIP
2008
15 years 3 months ago
2008
The present paper contributes two novel techniques in the context of image restoration by nonlocal filtering. Firstly, we introduce an efficient implementation of the nonlocal mean...
140
click to vote
COMCOM
2004
15 years 3 months ago
2004
In this paper, we propose QROUTE, an integrated framework for QoS-guaranteed multicast routing, in which a feasible multicast tree meeting multiple QoS constraints can be construc...
157
click to vote
ENTCS
2002
15 years 3 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...