Sciweavers

6562 search results - page 186 / 1313
» Noetherianity and Combination Problems
Sort
View
APPROX
2004
Springer
119views Algorithms» more  APPROX 2004»
15 years 12 months ago
Cost-Sharing Mechanisms for Network Design
We consider a single-source network design problem from a game-theoretic perspective. Gupta, Kumar and Roughgarden (Proc. 35th Annual ACM STOC, pages 365–372, 2003) developed a ...
Anupam Gupta, Aravind Srinivasan, Éva Tardo...
WSC
2008
15 years 8 months ago
Approximate dynamic programming: Lessons from the field
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...
Warren B. Powell
ICSE
2009
IEEE-ACM
16 years 1 months ago
Towards safer composition
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can b...
Andreas Classen, Patrick Heymans, Thein Than Tun, ...
ISCAS
2006
IEEE
147views Hardware» more  ISCAS 2006»
16 years 15 days ago
Triangular systolic array with reduced latency for QR-decomposition of complex matrices
- The novel CORDIC-based architecture of the these weights (combiner unit). The implementation of the Triangular Systolic Array for QRD of large size complex combiner unit is rathe...
Alexander Maltsev, V. Pestretsov, Roman Maslenniko...
TAP
2010
Springer
102views Hardware» more  TAP 2010»
15 years 11 months ago
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
Eugene Goldberg, Panagiotis Manolios