3255 search results - page 402 / 651 » Combination of Abstractions in the ASTR |
210
click to vote
LOPSTR
2005
Springer
16 years 5 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
188
click to vote
SAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
187
click to vote
AFP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
185
click to vote
AMEC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Many practical scenarios involve solving a social choice problem: a group of self-interested agents have to agree on an outcome that best fits their combined preferences...
143
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
d abstract)1 Niek Bergboer Eric Postma Jaap van den Herik Institute for Knowledge and Agent Technology, Universiteit Maastricht, P.O. Box 616, 6200 MD Maastricht It is well known t...