Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Specifying and Staging Mixed-Initiative Dialogs with Program Generation
  and Transformation   Specifying and implementing flexible human-computer dialogs, such as those
used in kiosks and smart phone apps, is challenging because of the numerous and
varied directions in which each user might steer a dialog. The objective of
this research is to improve dialog specification and implementation. To do so
we enriched a notation based on concepts from programming languages, especially
partial evaluation, for specifying a variety of unsolicited reporting,
mixed-initiative dialogs in a concise representation that serves as a design
for dialog implementation. We also built a dialog mining system that extracts a
specification in this notation from requirements. To demonstrate that such a
specification provides a design for dialog implementation, we built a system
that automatically generates an implementation of the dialog, called a stager,
from it. These two components constitute a dialog modeling toolkit that
automates dialog specification and implementation. These results provide a
proof of concept and demonstrate the study of dialog specification and
implementation from a programming languages perspective. The ubiquity of
dialogs in domains such as travel, education, and health care combined with the
demand for smart phone apps provide a landscape for further investigation of
these results.

21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg