5820 search results - page 203 / 1164 » The Web as a learning environment |
213
click to vote
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
140
click to vote
WISE
2005
Springer
15 years 11 months ago
2005
Springer
We propose a framework for ontology-based consensus making, which is grounded on personalization and community support. Corresponding software is designed to be naturally deployed ...
133
click to vote
ECIS
2001
15 years 7 months ago
2001
In the research-in-progress reported here, we adapted the classic Mason and Mitroff characterization of an information system to a web environment. The resulting definition was us...
171
click to vote
OHS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we present the architecture of an Adaptive Educational Hypermedia System, named INSPIRE. This particular system, throughout its interaction with the learner...
240
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
This paper introduces a novel method for composing Web services in the presence of external volatile information. Our approach, which we call the informed-presumptive, is compared...