556 search results - page 92 / 112 » UMLi: The Unified Modeling Language for Interactive Applicat... |
101
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
LISP
2008
14 years 11 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
105
click to vote
JUCS
2010
14 years 6 months ago
2010
This paper describes recent work on strategy merger development in the authoring process of adaptive hypermedia. The goal of a merging strategy is to break a complex adaptation dec...
WWW
2007
ACM
16 years 11 days ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
HRI
2006
ACM
15 years 5 months ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...