16216 search results - page 148 / 3244 » Effective Modeling with Constraints |
227
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Color is known to be highly discriminative for many object recognition tasks, but is difficult to infer from uncontrolled images in which the illuminant is not known. Traditional...
168
click to vote
IOR
2010
15 years 3 months ago
2010
The paper considers a stylized model of a dynamic assortment optimization problem, where given a limited capacity constraint, we must decide the assortment of products to offer to...
194
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Lowering supply voltage is one of the most effective techniques for reducing microprocessor power consumption. Unfortunately, at low voltages, chips are very sensitive to process ...
151
click to vote
CCS
2010
ACM
15 years 9 months ago
2010
ACM
Android is the first mass-produced consumer-market open source mobile platform that allows developers to easily create applications and users to readily install them. However, giv...
180
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...