6800 search results - page 1029 / 1360 » Testing with Functions as Specifications |
161
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in mo...
173
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
171
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
Many segmentation problems in medical imaging rely on accurate modeling and estimation of tissue intensity probability density functions. Gaussian mixture modeling, currently the ...
169
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Functional image classification is the assignment of different image types to separate classes to optimize their rendering for reading or other specific end task, and is an import...
177
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we restudy the non-convex data factorization problems (regularized or not, unsupervised or supervised), where the optimization is confined in the nonnegative orthan...