Sciweavers

291 search results - page 11 / 59
» Issues in Automatic Generation of User Interfaces in Model-B...
Sort
View
JSS
2006
99views more  JSS 2006»
13 years 7 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
LRE
2006
173views more  LRE 2006»
13 years 7 months ago
Automatic induction of language model data for a spoken dialogue system
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...
Chao Wang, Grace Chung, Stephanie Seneff
VRML
2003
ACM
14 years 28 days ago
Guiding visitors of Web3D worlds through automatically generated tours
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
Luca Chittaro, Roberto Ranon, Lucio Ieronutti
AH
2004
Springer
14 years 1 months ago
On the Dynamic Generation of Compound Critiques in Conversational Recommender Systems
Conversational recommender systems help to guide users through a product-space towards a particular product that meets their specific requirements. During the course of a “conve...
Kevin McCarthy, James Reilly, Lorraine McGinty, Ba...
IUI
2000
ACM
14 years 1 days ago
Extending software through metaphors and metonymies
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
Simone Diniz Junqueira Barbosa, Clarisse Sieckeniu...