10907 search results - page 1862 / 2182 » Constraint Based Strategies |
167
click to vote
PATAT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
185
Voted
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
158
click to vote
RT
2004
Springer
16 years 2 days ago
2004
Springer
Self-shadowing is an important factor in the appearance of hair and fur. In this paper we present a new rendering algorithm to accurately compute shadowed hair at interactive rate...
186
click to vote
RULEML
2004
Springer
16 years 2 days ago
2004
Springer
RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more ...
180
click to vote
SAFECOMP
2004
Springer
16 years 2 days ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...