16504 search results - page 74 / 3301 » New Problems, New Solutions |
122
click to vote
CP
2007
Springer
16 years 14 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...
134
click to vote
MOC
2000
15 years 6 months ago
2000
Abstract. This paper is concerned with the mixed formulation of the Boussinesq equations in two-dimensional domains and its numerical approximation. The paper deals first with exis...
150
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Many fraud analysis systemshave at their heart a rule-based enginefor generatingalertsaboutsuspiciousbehaviors.The rules in the systemareusually basedon expert knowledge. Automati...