5130 search results - page 819 / 1026 » Constraint Query Languages |
148
click to vote
ICTIR
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Most of the previous research on term weighting for information retrieval has focused on developing specialized parametric term weighting functions. Examples include TF.I...
164
click to vote
CP
2007
Springer
16 years 13 days ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
163
click to vote
CP
2007
Springer
16 years 13 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
148
click to vote
CP
2007
Springer
16 years 13 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
122
click to vote
CP
2007
Springer
16 years 13 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...