Sciweavers

1679 search results - page 195 / 336
» Strong order equivalence
Sort
View
CORR
2007
Springer
94views Education» more  CORR 2007»
13 years 9 months ago
Universal Quantile Estimation with Feedback in the Communication-Constrained Setting
Abstract— We consider the following problem of decentralized statistical inference: given i.i.d. samples from an unknown distribution, estimate an arbitrary quantile subject to l...
Ram Rajagopal, Martin J. Wainwright
TC
2010
13 years 7 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
WDAG
2010
Springer
177views Algorithms» more  WDAG 2010»
13 years 7 months ago
Transactions as the Foundation of a Memory Consistency Model
We argue that traditional synchronization objects, such as locks, conditions, and atomic/volatile variables, should be defined in terms of transactions, rather than the other way ...
Luke Dalessandro, Michael L. Scott, Michael F. Spe...
CIDM
2011
IEEE
13 years 15 days ago
A banner recommendation system based on web navigation history
—We address the problem of selecting a banner advertisement, based on the profile of the online user. The profile consists of the set of webpages opened by the online user, opt...
Giovanni Giuffrida, Diego Reforgiato Recupero, Giu...
PAM
2011
Springer
12 years 11 months ago
Omnify: Investigating the Visibility and Effectiveness of Copyright Monitors
1 The arms race between copyright agencies and P2P users is an ongoing and evolving struggle. On the one hand, content providers are using several techniques to stealthily find un...
Rahul Potharaju, Jeff Seibert, Sonia Fahmy, Cristi...