16216 search results - page 127 / 3244 » Effective Modeling with Constraints |
126
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
118
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
: Several studies have shown that explaining actions increases students’ knowledge. In this paper, we discuss how NORMIT supports self-explanation. NORMIT is a constraint-based t...
122
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
134
click to vote
AUSAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...
AI
2008
Springer
15 years 6 months ago
2008
Springer
A problem of intense interest to many sports fans as a season progresses is whether their favorite team has mathematically clinched a playoff spot; i.e., whether there is no possib...