10715 search results - page 1901 / 2143 » From Tests to Proofs |
168
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...
171
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Due to the shrinking of feature size and reduction in supply voltages, nanoscale circuits have become more susceptible to radiation induced transient faults. In this paper, we pre...
192
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Anatomical objects often have complex and varying image appearance at different portions of the boundary; and it is frequently a challenge even to select appropriate scales at whic...
173
click to vote
IPMI
2009
Springer
16 years 7 months ago
2009
Springer
In this paper, we employ an anatomical parameterization of spatial warps to reveal structural differences between medical images of healthy control subjects and disease patients. T...
176
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
The Relevance Vector Machine (RVM) is a sparse approximate Bayesian kernel method. It provides full predictive distributions for test cases. However, the predictive uncertainties ...