2911 search results - page 496 / 583 » A Theory of Expressiveness in Mechanisms |
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
Many online or local data sources provide powerful querying mechanisms but limited ranking capabilities. For instance, PubMed allows users to submit highly expressive Boolean keywo...
SOSP
2007
ACM
15 years 6 months ago
2007
ACM
Reliable storage systems depend in part on “write-before” relationships where some changes to stable storage are delayed until other changes commit. A journaled file system, ...
TEI
2010
ACM
15 years 4 months ago
2010
ACM
Swing That Thing… is a practice-based doctoral research project that examines how technology in on and around the body might be used to poeticise experience. Outcomes include a ...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
The capacity gain of network coding has been extensively studied in wired and wireless networks. Recently, it has been shown that network coding improves network reliability by re...