Sciweavers

1229 search results - page 129 / 246
» Reflections on the Design of a Specification language
Sort
View
CL
2000
Springer
14 years 9 days ago
Modelling Digital Circuits Problems with Set Constraints
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
Francisco Azevedo, Pedro Barahona
ECHT
1992
14 years 1 days ago
Two Years before the Mist: Experiences with Aquanet
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...
Catherine C. Marshall, Russell A. Rogers
GRAPHICSINTERFACE
2007
13 years 9 months ago
Jump: a system for interactive, tangible queries of paper
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
Michael Terry, Janet Cheung, Justin Lee, Terry Par...
HCI
2007
13 years 9 months ago
An Empirical Study on Users' Acceptance of Speech Recognition Errors in Text-Messaging
Although speech recognition technology and voice synthesis systems have become readily available, recognition accuracy remain a serious problem in the design and implementation of ...
Shuang Xu, Santosh Basapur, Mark Ahlenius, Deborah...
ECIS
2003
13 years 9 months ago
Usability in social action: reinterpreting effectiveness efficiency and satisfaction
One of the most important qualities related to the use of information systems is arguably the usability achieved in actual use-situations. Three central criteria for usability as ...
Pär J. Ågerfalk, Owen Eriksson