1136 search results - page 95 / 228 » Finding Small Holes |
CG
2006
Springer
14 years 20 days 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...
ECAI
2004
Springer
14 years 20 days 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...
CSFW
2000
IEEE
14 years 16 days 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...
DNA
2000
Springer
14 years 16 days 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...
ECCV
2010
Springer
14 years 11 days 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...