3222 search results - page 163 / 645 » A Data Model for Effectively Computable Functions |
DAGSTUHL
2008
14 years 11 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
ICMI
2010
Springer
14 years 7 months ago
2010
Springer
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The release of computer hardware devices based on “trusted computing” technologies is heralding a paradigm shift that will have profound implications for digital forensics. In...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
Due to the difference between rural and urban and regional disparity of computer basic education produced at their middle school period, computer application level of the freshmen ...
RECOMB
2003
Springer
15 years 10 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...