6618 search results - page 922 / 1324 » Information and Communication Technologies for Development |
265
Voted
ICSE
1999
IEEE-ACM
15 years 12 months ago
1999
IEEE-ACM
This paper describes how we have extended a module structure of the Smalltalk LearningWorks to provide a programming environment deigned for very large scale technology transfer. ...
251
Voted
CADE
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
220
Voted
ASSETS
2008
ACM
15 years 9 months ago
2008
ACM
Research projects, assistive technology, and individuals all create metadata in order to improve Web accessibility for visually impaired users. However, since these projects are d...
203
Voted
WISE
2009
Springer
16 years 4 months ago
2009
Springer
In this paper, we present a Web recommender system for recommending, predicting and personalizing music playlists based on a user model. We have developed a hybrid similarity match...
183
Voted
ICPADS
2008
IEEE
16 years 2 months ago
2008
IEEE
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...