2584 search results - page 240 / 517 » On the Forward Checking Algorithm |
174
click to vote
EVOW
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in redu...
186
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...
156
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
We present two tools to support the teaching of data structures and algorithms: Visualizers, which provide interactive visualizations of user-written data structures, and Testers,...
194
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
158
click to vote
FMOODS
2007
15 years 8 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...