7055 search results - page 317 / 1411 » Some New 4-Designs |
207
click to vote
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
171
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
New Technologies have been incorporated to schools as learning tools some time ago. In this paper we remark some advantages of video games as educational systems and how we can us...
174
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE...
191
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Toric spaces being non-simply connected, it is possible to find in such spaces some loops which are not homotopic to a point: we call them toric loops. Some applications, such as t...
144
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most n...