1418 search results - page 55 / 284 » How to Explain Mistakes |
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
WEBI
2005
Springer
14 years 3 months ago
2005
Springer
The realization of the Semantic Web needs a set of specialized middleware as its infrastructure. In this paper we describe the principles of tuplespace computing, explain why tupl...
ICA
2004
Springer
14 years 3 months ago
2004
Springer
In usual ICA methods, sources are typically estimated by maximizing a measure of their statistical independence. This paper explains how to perform non-linear ICA by preprocessing ...
ICCHP
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we present a study which aims at designing a locomotion assistance device that can deliver semantic information about its surrounding environment at any time. As a ...