Sciweavers

1142 search results - page 97 / 229
» Approximability of Clausal Constraints
Sort
View
FOCS
2007
IEEE
16 years 23 days ago
Buy-at-Bulk Network Design with Protection
We consider approximation algorithms for buy-at-bulk network design, with the additional constraint that demand pairs be protected against edge or node failures in the network. In...
Spyridon Antonakopoulos, Chandra Chekuri, F. Bruce...
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
16 years 1 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King
ISCAS
2007
IEEE
108views Hardware» more  ISCAS 2007»
16 years 21 days ago
Linear Prediction Based Semi-Blind Channel Estimation for MIMO-OFDM System
— In this paper, a semi-blind channel estimation method is presented for MIMO-OFDM systems. The new method uses the linear prediction for obtaining a blind constraint on the MIMO...
Feng Wan, Wei-Ping Zhu, M. N. S. Swamy
DEXAW
2005
IEEE
156views Database» more  DEXAW 2005»
16 years 1 days ago
Fixing Inconsistent Databases by Updating Numerical Attributes
For several reasons a database may not satisfy certain integrity constraints (ICs). However, most likely most of the information in it is still consistent with the ICs; and could ...
Leopoldo E. Bertossi, Loreto Bravo, Enrico Francon...
SIGGRAPH
1992
ACM
15 years 10 months ago
Dynamic simulation of non-penetrating flexible bodies
A model for the dynamic simulation of flexible bodies subject to non-penetration constraints is presented. Flexible bodies are described in terms of global deformations of a rest ...
David Baraff, Andrew P. Witkin