1585 search results - page 183 / 317 » A framework for computer-aided validation |
107
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces COLT (Continuous On-Line Tuning), a novel framework that continuously monitors the workload of a database system and enriches the existing physical design wi...
127
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Some (k, n)-threshold image secret sharing schemes encrypt the secret image into n noise-like shadow images with size 1/k times that of the original secret image. The small size o...
135
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
120
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— We consider an uplink power control problem where each mobile wishes to maximize its throughput (which depends on the transmission powers of all mobiles) but has a constraint o...
128
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this work we investigate the feasibility and effectiveness of unsupervised tissue clustering and classification algorithms for DTI data. Tissue clustering and classification ...