6607 search results - page 7 / 1322 » Making TeX Work |
SIGCOMM
1994
ACM
14 years 1 months ago
1994
ACM
This paper discusses congestion control from a game-theoretic perspective. There are two basic premises: (1) users are assumed to be independent and sel sh, and (2) central admini...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
ACMIDC
2008
13 years 11 months ago
2008
In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss fiv...
NLUCS
2004
13 years 11 months ago
2004
The advantage of cognitively motivated automatic summarizing is that human users can better understand what happens. This improves acceptability. The basic empirical finding in hum...
IJCAI
2003
13 years 11 months ago
2003
