262 search results - page 3 / 53 » Making Specifications Complete Through Models |
EMNLP
2008
13 years 11 months ago
2008
We describe an approach for acquiring the domain-specific dialog knowledge required to configure a task-oriented dialog system that uses human-human interaction data. The key aspe...
MBUI
2004
13 years 11 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
WSC
2007
14 years 3 days ago
2007
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
ECBS
1999
IEEE
14 years 2 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...