1800 search results - page 107 / 360 » Learning Restart Strategies |
106
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
121
click to vote
AUSAI
2004
Springer
15 years 10 months ago
2004
Springer
One problem many Web users encounter is to keep track of changes of distant Web sources. Push services, informing clients about data changes, are frequently not provided by Web ser...
140
click to vote
SERVICES
2008
15 years 6 months ago
2008
Service-oriented computing and the ensuing science of services represent significant challenges to academia. As we come to grips with its many implications, we are slowly beginnin...
109
Voted
IADIS
2008
15 years 6 months ago
2008
This paper describes the Mentor Component, which is part of an Affective Educational Module for distance learning. The main purpose of the Affective Module is to motivate the stud...
181
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The overwhelming success of the Web as a mechanism for facilitating information retrieval and for conducting business transactions has led to an increase in the deployment of comp...