575 search results - page 35 / 115 » constraints 2011 |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Image reconstruction problems in radio astronomy and other fields like biomedical imaging are often ill-posed and some form of regularization is required. This imposes user speci...
104
click to vote
APLAS
2011
ACM
13 years 12 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
120
click to vote
EMNLP
2011
13 years 11 months ago
2011
Dual decomposition has been recently proposed as a way of combining complementary models, with a boost in predictive power. However, in cases where lightweight decompositions are ...
140
click to vote
HYBRID
2011
Springer
13 years 11 months ago
2011
Springer
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
JCT
2011
14 years 6 months ago
2011
The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define...