1816 search results - page 236 / 364 » Formal Concepts of Learning Systems Validation in Use |
156
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
208
click to vote
IJON
2006
15 years 6 months ago
2006
This paper proposes a novel method for blindly separating unobservable independent component (IC) signals based on the use of a genetic algorithm. It is intended for its applicati...
157
click to vote
JAISE
2011
14 years 9 months ago
2011
An awareness system was designed to provide peace of mind and a sense of connectedness to adults who care for an elderly parent living alone. The iterative design of the Aurama awa...
166
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we describe a system that can extract record structures from web pages with no direct human supervision. Records are commonly occurring HTML-embedded data tuples th...
148
click to vote
HT
2005
ACM
15 years 12 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...