13306 search results - page 2216 / 2662 » Theoretical Computer Science |
184
click to vote
KDD
2002
ACM
16 years 8 months ago
2002
ACM
In this paper, we focus on methodology of finding a classifier with a minimal cost in presence of additional performance constraints. ROCCH analysis, where accuracy and cost are i...
193
click to vote
VLSID
2002
IEEE
16 years 8 months ago
2002
IEEE
With device counts on modern-day ASICs crossing the 10 million mark, careful planning of an ASIC design project is necessary to meet time deadlines. Two problems arise in this con...
266
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we present a method for reasoning about privacy using the concepts of exchangeability and deFinetti's theorem. We illustrate the usefulness of this technique by...
214
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
152
Voted
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
Abstract--Amazon, Google, and IBM now sell cloud computing services. We consider the setting of a for-profit business selling data stream monitoring/management services and we inve...