4052 search results - page 600 / 811 » Information Technology in Developing Countries |
161
click to vote
MKM
2005
Springer
16 years 4 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
188
click to vote
VRST
2004
ACM
16 years 2 days ago
2004
ACM
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...
192
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
161
click to vote
ELPUB
2003
ACM
15 years 12 months ago
2003
ACM
Based on our field and desk-research , this paper will discuss the current situation of mobile telephones in relation to electronic publishing—a convergence that remains yet to ...
142
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...