740 search results - page 130 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
114
click to vote
AIED
2009
Springer
15 years 8 months ago
2009
Springer
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...
126
click to vote
MDM
2009
Springer
15 years 7 months ago
2009
Springer
Creation of pedagogical learning models to handle the specificity of mobile learning and the inherent constraints of mobile devices is a fundamental challenge in mobile learning. ...
110
click to vote
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
Supervised approaches to Data Mining are particularly appealing as they allow for the extraction of complex relations from data objects. In order to facilitate their application i...
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
The problem of provisioning servers in a cluster infrastructure includes the issues of coordinating access and sharing of physical resources, loading servers with the appropriate ...