Sciweavers

4052 search results - page 520 / 811
» Information Technology in Developing Countries
Sort
View
WETICE
2008
IEEE
16 years 1 months ago
Coordination of Knowledge in Pervasive Environments
The “amount” of knowledge is constantly growing. Technological advances more and more facilitate an access to knowledge in an anytime, anywhere, and anyhow manner. The provisi...
Manfred Bortenschlager, Lyndon J. B. Nixon, Robert...
ICSE
1999
IEEE-ACM
15 years 11 months ago
Exploiting Smalltalk Modules in a Customizable Programming Environment
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. ...
Mark Woodman, Robert Griffiths, Malcolm Macgregor,...
CADE
1998
Springer
15 years 11 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
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 ...
Rajeev Goré, Joachim Posegga, Andrew Slater...
ASSETS
2008
ACM
15 years 8 months ago
Accessibility commons: a metadata infrastructure for web accessibility
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...
Shinya Kawanaka, Yevgen Borodin, Jeffrey P. Bigham...
CHI
2006
ACM
16 years 7 months ago
Tamil market: a spoken dialog system for rural India
In this paper, we describe the design process, results, and observations from a pilot user study for Tamil Market, a speech-driven agricultural query system, conducted in communit...
Madelaine Plauché, Madhu Prabaker