1961 search results - page 276 / 393 » PicoDBMS: Validation and Experience |
127
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
153
click to vote
CPAIOR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper, we introduce a Yet ImprovEd Limited Discrepancy Search (YIELDS), a complete algorithm for solving Constraint Satisfaction Problems. As indicated in its nam...
176
click to vote
ECML
2007
Springer
16 years 20 days ago
2007
Springer
The stability of sample based algorithms is a concept commonly used for parameter tuning and validity assessment. In this paper we focus on two well studied algorithms, LSI and PCA...
187
click to vote
CVPR
2008
IEEE
16 years 19 days ago
2008
IEEE
We consider the problem of capturing shape characteristics on specular (refractive and reflective) surfaces that are nearly flat. These surfaces are difficult to model using tradit...
154
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, a model based on genetic algorithms for protein folding prediction is proposed. The most important features of the proposed approach are: i) Heuristic secondary str...