2163 search results - page 75 / 433 » cases 2004 |
EUSAI
2004
Springer
15 years 3 months ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
EWCBR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
NIPS
2004
14 years 11 months ago
2004
We propose a family of kernels based on the Binet-Cauchy theorem and its extension to Fredholm operators. This includes as special cases all currently known kernels derived from t...