7393 search results - page 1023 / 1479 » Synthesis-for-testability using transformations |
122
click to vote
ICIP
2009
IEEE
16 years 6 months ago
2009
IEEE
In this paper, security evaluation of an important watermarking class based on quantization is given. Theoretical developments and practical simulations are used to measure the se...
136
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
We address the problem of fast and accurate localization of miniature surgical instruments like needles or electrodes using 3D ultrasound (US). An algorithm based on maximizing a ...
239
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
218
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
185
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...