4743 search results - page 550 / 949 » The PlusCal Algorithm Language |
210
click to vote
CP
2005
Springer
16 years 1 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...
166
click to vote
CP
2005
Springer
16 years 1 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...
170
click to vote
FPL
2005
Springer
16 years 1 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...
194
Voted
SIGCSE
2004
ACM
16 years 28 days 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...
154
Voted
BIRTHDAY
2003
Springer
16 years 22 days 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...