2584 search results - page 240 / 517 » On the Forward Checking Algorithm |
119
click to vote
EVOW
2004
Springer
15 years 8 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...
133
click to vote
CSL
2003
Springer
15 years 8 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...
114
click to vote
SIGCSE
1999
ACM
15 years 7 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,...
145
click to vote
TACAS
2000
Springer
15 years 6 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...
109
click to vote
FMOODS
2007
15 years 4 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...