2263 search results - page 173 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
170
click to vote
AIA
2007
15 years 7 months ago
2007
This paper introduces a machine learning approach into the process of direct volume rendering of biomedical highresolution 3D images. More concretely, it proposes a learning pipel...
164
click to vote
JIIS
2006
15 years 6 months ago
2006
Kernel Canonical Correlation Analysis (KCCA) is a method of correlating linear relationship between two variables in a kernel defined feature space. A machine learning algorithm b...
184
click to vote
TPHOL
2009
IEEE
16 years 21 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
156
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
178
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
It is estimated in a recent OECD International Adult Literacy Survey that up to 500,000 Irish adults are functionally illiterate, that is many people have difficulty in reading an...