Sciweavers

151 search results - page 16 / 31
» A Lower Bound on List Size for List Decoding
Sort
View
CORR
2010
Springer
149views Education» more  CORR 2010»
13 years 7 months ago
Pebbling and Branching Programs Solving the Tree Evaluation Problem
We study restricted computation models related to the tree evaluation problem. The TEP was introduced in earlier work as a simple candidate for the (very) long term goal of separa...
Dustin Wehr
MANSCI
2010
138views more  MANSCI 2010»
13 years 5 months ago
eBay's Crowded Evenings: Competition Neglect in Market Entry Decisions
: Do firms neglect competition when making entry decisions? Using a dataset of 14,973 eBay auctions this paper addresses this question analyzing the time of day at which sellers se...
Uri Simonsohn
IPL
2000
82views more  IPL 2000»
13 years 7 months ago
Estimating the number of vertices of a polyhedron
Given a polyhedron P by a list of inequalities we develop unbiased estimates of the number of vertices and bases of P. The estimates are based on applying tree estimation methods ...
David Avis, Luc Devroye
CP
2008
Springer
13 years 9 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...
CORR
2006
Springer
96views Education» more  CORR 2006»
13 years 7 months ago
Upper Bounding the Performance of Arbitrary Finite LDPC Codes on Binary Erasure Channels
Assuming iterative decoding for binary erasure channels (BECs), a novel tree-based technique for upper bounding the bit error rates (BERs) of arbitrary, finite low-density parity-c...
Chih-Chun Wang, Sanjeev R. Kulkarni, H. Vincent Po...