171 search results - page 33 / 35 » tim 2010 |
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
HUC
2010
Springer
13 years 6 months ago
2010
Springer
We present WATTR, a novel self-powered water activity sensor that utilizes residential water pressure impulses as both a powering and sensing source. Consisting of a power harvest...
JOCN
2010
13 years 3 months ago
2010
■ Selection between competing responses and stimulus-response association strength is thought to affect performance during verb generation. However, the specific contribution of...
STOC
2010
ACM
13 years 10 months ago
2010
ACM
We define a new interactive differentially private mechanism — the median mechanism — for answering arbitrary predicate queries that arrive online. Given fixed accuracy and...
WWW
2010
ACM
14 years 13 days ago
2010
ACM
The World-Wide Web consists not only of a huge number of unstructured texts, but also a vast amount of valuable structured data. Web tables [2] are a typical type of structured in...