Sciweavers

2440 search results - page 481 / 488
» Data-Intensive Question Answering
Sort
View
CORR
2010
Springer
94views Education» more  CORR 2010»
13 years 6 months ago
When LP is the Cure for Your Matching Woes: Improved Bounds for Stochastic Matchings
Abstract Consider a random graph model where each possible edge e is present independently with some probability pe. Given these probabilities, we want to build a large/heavy match...
Nikhil Bansal, Anupam Gupta, Jian Li, Juliá...
ECCC
2010
117views more  ECCC 2010»
13 years 6 months ago
Nearly Tight Bounds for Testing Function Isomorphism
We study the problem of testing isomorphism (equivalence up to relabelling of the variables) of two Boolean functions f, g : {0, 1}n → {0, 1}. Our main focus is on the most stud...
Sourav Chakraborty, David García-Soriano, A...
FMSD
2010
118views more  FMSD 2010»
13 years 6 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
INFOCOM
2010
IEEE
13 years 5 months ago
Linear Programming Models For Multi-Channel P2P Streaming Systems
Abstract—Most of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...
Miao Wang, Lisong Xu, Byrav Ramamurthy
IOR
2010
84views more  IOR 2010»
13 years 5 months ago
Lumpy Capacity Investment and Disinvestment Dynamics
Capacity addition and withdrawal decisions are among the most important strategic decisions made by …rms in oligopolistic industries. In this paper, we develop and analyze a ful...
David Besanko, Ulrich Doraszelski, Lauren Xiaoyuan...