2520 search results - page 14 / 504 » Alias Types and Effects for |
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Combinatorial auctions, where agents can bid on bundles of items (resources, tasks, etc.), are desirable because the agents can express complementarity and substitutability among ...
IJNSEC
2010
13 years 3 months ago
2010
As the importance and the value of exchanged data over the Internet or other media types are increasing, the search for the best solution to offer the necessary protection against...
CANDC
2009
ACM
14 years 1 months ago
2009
ACM
Simulations using a computer model the Evolution Of Culture (EVOC) indicate that the clustering of creative agents decreases the mean fitness of ideas in the short term (when imit...
DBPL
2009
Springer
14 years 3 months ago
2009
Springer