4762 search results - page 895 / 953 » About the use of protein models |
107
click to vote
CAISE
1999
Springer
15 years 4 months ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
ICML
2005
IEEE
16 years 21 days 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 ...
102
click to vote
SIGSOFT
2006
ACM
16 years 19 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
114
click to vote
STOC
2009
ACM
16 years 15 days ago
2009
ACM
A mechanism for releasing information about a statistical database with sensitive data must resolve a trade-off between utility and privacy. Publishing fully accurate information ...
HPCA
2008
IEEE
16 years 8 days ago
2008
IEEE
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. Noise-...