636 search results - page 99 / 128 » Understanding knowledge as a commons: From theory to practic... |
100
Voted
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
117
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
101
Voted
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Although recent advances in theory indicate that burstiness in the service time process can be handled effectively by queueing models (e.g., MAP queueing networks [2]), there is a...
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Successful interaction between autonomous agents is contingent on those agents making decisions consistent with the expectations of their peers -- these expectations are based on ...
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Agents that exist in an environment that changes over time, and are able to take into account the temporal nature of experience, are commonly called incremental learners. It is wid...