1136 search results - page 95 / 228 » Finding Small Holes |
111
Voted
CG
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents SAFETY SOLVER 2.0, a safety-of-territory solver for the game of Go that can solve problems in areas with open boundaries. Previous work on assessing safety of t...
126
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
A central issue in relational learning is the choice of an appropriate bias for limiting first-order induction. The purpose of this study is to circumvent this issue within a unifo...
135
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
133
Voted
DNA
2000
Springer
15 years 7 months ago
2000
Springer
We present a randomized DNA algorithm for k-SAT based on the classical algorithm of Paturi et al. [8]. For an n-variable, m-clause instance of k-SAT (m > n), our algorithm finds...
135
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...