Sciweavers

339 search results - page 8 / 68
» Universality Results for Models in Locally Boolean Domains
Sort
View
CVPR
2009
IEEE
15 years 2 months ago
Enhanced Pictorial Structures for Precise Eye Localization under Uncontrolled Conditions
In this paper, we present an enhanced Pictorial Struc- ture (PS) model for precise eye localization, a fundamen- tal problem involved in many face processing tasks. PS is a comp...
Xiaoyang Tan (Nanjing University of Aeronautics an...
SAT
2010
Springer
136views Hardware» more  SAT 2010»
13 years 11 months ago
A Non-prenex, Non-clausal QBF Solver with Game-State Learning
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
William Klieber, Samir Sapra, Sicun Gao, Edmund M....
ICPR
2010
IEEE
13 years 5 months ago
Wavelet Domain Local Binary Pattern Features For Writer Identification
The representation of writing styles is a crucial step of writer identification schemes. However, the large intra-writer variance makes it a challenging task. Thus, a good feature...
Liang Du, Xinge You, Huihui Xu, Zhifan Gao, Yuan Y...
ICALT
2005
IEEE
14 years 1 months ago
Building Repositories of Learning Objects in Specialized Domains: The Chasqui Approach
In this paper we describe the Chasqui approach to the construction of repositories of learning objects (LO) in specific knowledge areas. This approach is the result of our experie...
José Luis Sierra, Alfredo Fernández-...
CP
2007
Springer
14 years 1 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish