Sciweavers

1712 search results - page 166 / 343
» Assistive technology in computer science
Sort
View
ITICSE
2003
ACM
15 years 11 months ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...
ACSC
2002
IEEE
15 years 11 months ago
Reducing Cognitive Overhead on the World Wide Web
HyperScout, a Web application, is an intermediary between a server and a client. It intercepts a page to the client, gathers information on each link, and annotates each link with...
R. J. Witt, S. P. Tyerman
ACMSE
2005
ACM
15 years 8 months ago
Generative approaches for application tailoring of mobile devices
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
Victoria Davis, Jeff Gray, Joel Jones
ICMCS
2008
IEEE
135views Multimedia» more  ICMCS 2008»
16 years 27 days ago
Pre-attentive discrimination of interestingness in images
Interestingness is an important aesthetic property, which literally means something that arouses curiosity and is a precursor to attention. Aesthetics is becoming more important a...
Harish Katti, Kwok Yang Bin, Tat-Seng Chua, Mohan ...
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
15 years 10 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse