9110 search results - page 321 / 1822 » Formally-Based Design Evaluation |
154
click to vote
UAI
2008
15 years 8 months ago
2008
We present and evaluate new techniques for designing algorithm portfolios. In our view, the problem has both a scheduling aspect and a machine learning aspect. Prior work has larg...
173
click to vote
AAAI
1990
15 years 7 months ago
1990
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
164
click to vote
AAAI
1998
15 years 8 months ago
1998
We describe an architecture for exploring very large design spaces, for example, spaces that arise when design candidates are generated by combining components systematically from...
175
click to vote
ASSETS
2004
ACM
16 years 1 days ago
2004
ACM
These days, accessibility-related regulations and guidelines have been accelerating the improvement of Web accessibility. One of the accelerating factors is the development and de...
134
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
— Voltage interpolation is a promising post fabrication technique for combating the effects of process variations. The benefits of voltage interpolation are well understood. It...