The A theory of user expectation of system interaction is introduced in the context of User Adapted Interfaces. The usability of an intelligent email client that learns to filter s...
The modeling of noncooperative dialogs, as opposed to dialogs in which the goals of the participants coincide, presents novel challenges to a pragmatically oriented dialog system. ...
Anthony Jameson, B. Kipper, Alassane Ndiaye, Ralph...
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...