The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorporated into an automatic tool which gives the designer information useful to evaluate and improve the user interface. These results include an analysis of the tasks which have been accomplished, those which failed and thos...

An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operational as well as declarative semantics. First, by means of special set terms added to definite Horn Clause logic, one is enabled to define enumerated sets. A new unification algorithm which can cope with set terms is de...

Recent years have seen a growing interest in creating virtual agents to populate the cast of characters for interactive narrative. A key challenge posed by interactive characters for narrative environments is devising expressive dialogue generators. To be effective, character dialogue generators must be able to simultaneously take into account multiple sources of information that bear on dialog...

This paper explores the significance of legacy Buddhism in North Korea. Our primary concerns Korean context are twofold: presence culture and role Korea cultural propaganda policy. We argue that religious revival seen from 1970s onwards was part a project created by Workers’ Party had certain political goals. Fieldwork analysis sources revealed state has used to repair country’s international i...

goals that guide more concrete goals (Carver & Scheier, 1998; Higgins, 1996, 1997; Powers, 1973). Ideals can therefore serve as accessible alternative goals to approach when focal goals are compromised (Rogers, Kuiper, & Kirker, 1977). Humans can eagerly approach meaningful ideals, at least in part, by simply heightening imagined commitment to them (McGregor & Little, 1998). Private conviction ...

Lisa A. Lowenthal is an Occupational Therapy Graduate Student, Quinnipiac University, Hamden, CT. Primary care is a key theme in the Patient Protection and Affordable Care Act (ACA; 2010). But what does the term mean? Is there a difference between primary care and primary health care? Does primary care encompass occupational therapy? What are the possible roles for occupational therapy in prima...

Sequence variables play an interesting role in unification and matching when dealing with terms in an unranked signature. Sequence Unification generalizes Word Unification and seems to be appealing for information extraction in XML documents, program transformation, and rule-based programming. In this work we study a relation between Sequence Unification and another generalization of Word Unifi...

We developed and used a data collection facility to collect 2277 utterances from 62 subjects. We were the only site to reach the data collection goals by the original deadline of 1 September. We completed an initial version of a new DELPHI NL system, which incorporates a semantic component integrated with the unification-based syntactic grammar, but separated from it. This allows for multiple s...