986 search results - page 72 / 198 » Generalized Goal Programming: polynomial methods and applica... |
159
click to vote
SIGSOFT
2010
ACM
15 years 27 days ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
160
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...
159
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...
174
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—We aim to enhance the end-to-end rate of a general dual-hop relay network with multiple channels and finite modulation formats, by jointly optimizing channel pairing, p...
161
click to vote
EMMCVPR
2001
Springer
15 years 10 months ago
2001
Springer
After [15, 31, 19, 8, 25, 5] minimum cut/maximum flow algorithms on graphs emerged as an increasingly useful tool for exact or approximate energy minimization in low-level vision...