Sciweavers

4052 search results - page 392 / 811
» Information Technology in Developing Countries
Sort
View
IV
2009
IEEE
117views Visualization» more  IV 2009»
16 years 1 months ago
Evaluation of Overcluttering Prevention Techniques for Mobile Devices
The increasing popularity of mobile devices has fostered the development of visualization applications for these devices. However, the reduced screen size and different interactio...
Paulo Miguel Pombinho de Matos, Maria Beatriz Carm...
MKM
2007
Springer
16 years 27 days ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
SEMWEB
2007
Springer
16 years 27 days ago
Measuring Incoherence in Description Logic-Based Ontologies
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
Guilin Qi, Anthony Hunter
ITNG
2006
IEEE
16 years 24 days ago
Rethinking Programming
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
W. M. Beynon, R. C. Boyatt, S. B. Russ
IH
2005
Springer
16 years 8 days ago
Dither Modulation Watermarking of Dynamic Memory Traces
We describe a dynamic software watermark embedded in the memory trace of an executing Java program. Our approach is a generalisation of the spread–transform watermarking techniqu...
Alan J. Larkin, Félix Balado, Neil J. Hurle...