Sciweavers

2694 search results - page 286 / 539
» Frege's New Science
Sort
View
SIGMOD
1991
ACM
81views Database» more  SIGMOD 1991»
15 years 10 months ago
Multi-Disk B-trees
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 ...
Bernhard Seeger, Per-Åke Larson
ATAL
2008
Springer
15 years 8 months ago
Incorporating user utility into sponsored-search auctions
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...
Yagil Engel, David Maxwell Chickering
CCGRID
2008
IEEE
15 years 8 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
DAGSTUHL
2010
15 years 8 months ago
Illustrative Focus+Context Approaches in Interactive Volume Visualization
Illustrative techniques are a new and exciting direction in visualization research. Traditional techniques which have been used by scientific illustrators for centuries are re-exa...
Stefan Bruckner, M. Eduard Gröller, Klaus Mue...
GAMEON
2007
15 years 8 months ago
Teaching AI Concepts by Using Casual Games: A Case Study
Nowadays it is not uncommon for computer games to be used as tools to help introduce basic computer science concepts. In this paper we argue that games could also be used in more ...
Cesar Tadeu Pozzer, Börje Karlsson