6456 search results - page 161 / 1292 » Constraint Solving on Terms |
156
click to vote
AIPS
2006
15 years 7 months ago
2006
Reasoning on precedence relations is crucial for many planning and scheduling systems. In this paper we propose a double precedence graph where direct precedence relations are kep...
174
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Non-negative matrix factorization (NMF) is a recently developed technique for finding parts-based, linear representations of non-negative data. Although it has successfully been a...
153
click to vote
ANOR
2007
15 years 6 months ago
2007
The profitability and morale of many organizations (such as factories, hospitals and airlines) are affected by their ability to schedule their personnel properly. Sophisticated an...
162
click to vote
EAAI
2010
15 years 6 months ago
2010
: An interval problem is a problem where the unknown variables take interval values. Such a problem can be defined by interval constraints, such as "the interval [a, b] [a, b...
150
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...