5030 search results - page 229 / 1006 » cases 2007 |
177
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
199
click to vote
WAOA
2007
Springer
16 years 1 months ago
2007
Springer
We continue the study of bin packing with splittable items and cardinality constraints. In this problem, a set of items must be packed into as few bins as possible. Items may be s...
183
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
180
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
With the emerging process variations in fabrication, the traditional corner-based timing optimization techniques become prohibitive. Buffer insertion is a very useful technique fo...
176
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...