10271 search results - page 385 / 2055 » Computer Science |
129
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
We prove that the problem of computing an Arrow-Debreu market equilibrium is PPAD-complete even when all traders use additively separable, piecewise-linear and concave utility fun...
142
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
This paper describes a new tool for introducing computer graphics and multimedia applications into first year, called QuickDraw, and our experience using it. QuickDraw provides an...
121
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
162
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Computational social choice is an interdisciplinary eld of study at the interface of social choice theory and computer science, with knowledge owing in either direction. On the o...
132
Voted
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
ACT DATATYPE APPROACH Patrick Michel Arnd Poetzsch-Heffter