4743 search results - page 550 / 949 » The PlusCal Algorithm Language |
126
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This report presents a basic scheme for deriving systematically a filtering algorithm from the graph properties based representation of global constraints. This scheme i...
103
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
A search algorithm based on non-binary forward checking (nFC) is used to solve the car-sequencing problem. The choice of value ordering heuristics having a dramatic effect on solu...
101
click to vote
FPL
2005
Springer
15 years 8 months ago
2005
Springer
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...
111
click to vote
SIGCSE
2004
ACM
15 years 8 months ago
2004
ACM
This paper describes the motivation and design of an introductory computational course for natural, physical, and social scientists. Categories and Subject Descriptors: K.3.2 Comp...
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...