120 search results - page 12 / 24 » The Bridge Project |
CONEXT
2007
ACM
13 years 11 months ago
2007
ACM
Ad-hoc wireless peer-to-peer methods are an important and viable alternative to the more traditional infrastructure based ones for distributing contents among a population of user...
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
CE
2007
13 years 7 months ago
2007
The two separate projects described have examined how teachers exploit computer-based technologies in supporting learning of science at secondary level. This paper examines how pe...
ECTEL
2009
Springer
13 years 10 months ago
2009
Springer
One claim of Technology-Enhanced Learning (TEL) is to support and exploit benefits from distance learning and remote collaboration. On the other hand, several approaches to learnin...
AUSDM
2006
Springer
13 years 11 months ago
2006
Springer
Data mining is currently becoming an increasingly hot research field, but a large gap still remains between the research of data mining and its application in real-world business....