302 search results - page 33 / 61 » Responders: Language Support for Interactive Applications |
TPHOL
1999
IEEE
14 years 4 days ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
VRML
1998
ACM
14 years 3 days ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
VL
2008
IEEE
14 years 2 months ago
2008
IEEE
Web 2.0 has enabled end users to collaborate through their own developed artifacts, moving on from text (e.g., Wikipedia, Blogs) to images (e.g., Flickr) and movies (e.g., YouTube...
VL
2009
IEEE
14 years 2 months ago
2009
IEEE
Transferring data across applications is a common end user task, and copying and pasting via the clipboard lets users do so relatively easily. Using the clipboard, however, can al...