Sciweavers

3623 search results - page 156 / 725
» Functionally Modeled User Interfaces
Sort
View
SPIN
2001
Springer
15 years 2 months ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
WWW
2003
ACM
15 years 10 months ago
Haystack: A Platform for Authoring End User Semantic Web Applications
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
Dennis Quan, David Huynh, David R. Karger
IUI
2003
ACM
15 years 3 months ago
Evolution of user interaction: the case of agent adele
Animated pedagogical agents offer promise as a means of making computer-aided learning more engaging and effective. To achieve this, an agent must be able to interact with the lea...
W. Lewis Johnson, Erin Shaw, Andrew Marshall, Cath...
ER
2007
Springer
99views Database» more  ER 2007»
15 years 4 months ago
Capturing Users' Everyday, Implicit Information Integration Decisions
Integration of large databases by expert teams is only a small part of the data integration activities that take place. Users without data integration expertise very often gather,...
David W. Archer, Lois M. L. Delcambre
IUI
2000
ACM
15 years 2 months ago
Learning users' interests by unobtrusively observing their normal behavior
For intelligent interfaces attempting to learn a user’s interests, the cost of obtaining labeled training instances is prohibitive because the user must directly label each trai...
Jeremy Goecks, Jude W. Shavlik