11345 search results - page 1722 / 2269 » Foundations of Computer Science |
138
click to vote
SIGMOD
1991
ACM
15 years 9 months ago
1991
ACM
In this paper, Dept. of Computer Science, University of Waterloo Waterloo, Ontario, Canada, N2L 3G1 we consider how to exploit multiple disks to improve the performance of B-tree ...
148
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
145
click to vote
AAAI
2007
15 years 8 months ago
2007
Models of crowd behavior facilitate analysis and prediction of human group behavior, where people are affected by each other’s presence. Unfortunately, existing models leave man...
159
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Recent research in reading comprehension supports the hypothesis that readers are aided by textual cohesion. Traditional readability formulas are not able to effectively assess le...
140
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We study principled methods for incorporating user utility into the selection of sponsored search ads. We describe variations of the GSP allocation/pricing mechanism that accommod...