Sciweavers

130 search results - page 20 / 26
» Secretary Problems via Linear Programming
Sort
View
ICNSC
2008
IEEE
14 years 1 months ago
Robust Variance Constrained Filter Design for Systems with Non-Gaussian Noises
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...
Fuwen Yang, Yongmin Li, Xiaohui Liu
WADS
2007
Springer
121views Algorithms» more  WADS 2007»
14 years 1 months ago
Cauchy's Theorem and Edge Lengths of Convex Polyhedra
In this paper we explore, from an algorithmic point of view, the extent to which the facial angles and combinatorial structure of a convex polyhedron determine the polyhedron—in ...
Therese C. Biedl, Anna Lubiw, Michael J. Spriggs
ASPDAC
2004
ACM
87views Hardware» more  ASPDAC 2004»
14 years 28 days ago
ShatterPB: symmetry-breaking for pseudo-Boolean formulas
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
STOC
2006
ACM
131views Algorithms» more  STOC 2006»
14 years 7 months ago
On maximizing welfare when utility functions are subadditive
We consider the problem of maximizing welfare when allocating m items to n players with subadditive utility functions. Our main result is a way of rounding any fractional solution...
Uriel Feige
IPL
2010
114views more  IPL 2010»
13 years 6 months ago
Alphabetic coding with exponential costs
An alphabetic binary tree formulation applies to problems in which an outcome needs to be determined via alphabetically ordered search prior to the termination of some window of o...
Michael B. Baer