Sciweavers

565 search results - page 91 / 113
» Geometry of Upper Probabilities
Sort
View
PVLDB
2010
126views more  PVLDB 2010»
14 years 10 months ago
Set Similarity Join on Probabilistic Data
Set similarity join has played an important role in many real-world applications such as data cleaning, near duplication detection, data integration, and so on. In these applicati...
Xiang Lian, Lei Chen 0002
RSA
2010
98views more  RSA 2010»
14 years 10 months ago
Merging percolation on Zd and classical random graphs: Phase transition
: We study a random graph model which is a superposition of bond percolation on Zd with parameter p, and a classical random graph G(n, c/n). We show that this model, being a homoge...
Tatyana S. Turova, Thomas Vallier
RSA
2010
99views more  RSA 2010»
14 years 10 months ago
Hamiltonicity thresholds in Achlioptas processes
In this paper we analyze the appearance of a Hamilton cycle in the following random process. The process starts with an empty graph on n labeled vertices. At each round we are pre...
Michael Krivelevich, Eyal Lubetzky, Benny Sudakov
TACAS
2010
Springer
212views Algorithms» more  TACAS 2010»
14 years 9 months ago
Assume-Guarantee Verification for Probabilistic Systems
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
Marta Z. Kwiatkowska, Gethin Norman, David Parker,...
ICASSP
2009
IEEE
14 years 9 months ago
Outage-based designs for multi-user transceivers
We consider a broadcast channel with multiple antennas at the base station and single-antenna receivers, and we study transceiver design with Quality of Service (QoS) requirements...
Michael Botros Shenouda, Timothy N. Davidson