3575 search results - page 154 / 715 » Presentations of computably enumerable reals |
162
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
142
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
149
click to vote
ICPADS
2005
IEEE
15 years 12 months ago
2005
IEEE
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
152
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes an ultra low power active RFID tag and its automated design flow. RFID primitives to be supported by the tag are enumerated with RFID macros and the behavior ...
184
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we describe a problem of discovering query clusters from a click-through graph of web search logs. The graph consists of a set of web search queries, a set of pages ...