1308 search results - page 205 / 262 » Performance and extension of user space file systems |
JAIR
2010
14 years 8 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
CLOUDCOM
2010
Springer
14 years 7 months ago
2010
Springer
Checkpointing is a widely used mechanism for supporting fault tolerance, but notorious in its high-cost disk access. The idea of memory-based checkpointing has been extensively stu...
101
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
The "ZIP" adaptive trading algorithm has been demonstrated to outperform human traders in experimental studies of continuous double auction (CDA) markets. The original Z...
ACMACE
2009
ACM
15 years 4 months ago
2009
ACM
Fantasy games, in which players compete to correctly predict realworld outcomes in sports, entertainment, and politics, have grown in popularity and now represent a significant po...
TVCG
2012
13 years 7 days ago
2012
—In this paper, we present an effective and scalable system for multivariate volume data visualization and analysis with a novel transfer function interface design that tightly c...