4584 search results - page 103 / 917 » interactions 2007 |
ACL
2003
13 years 10 months ago
2003
We describe iNeATS – an interactive multi-document summarization system that integrates a state-of-the-art summarization engine with an advanced user interface. Three main goals...
ACL
2003
13 years 10 months ago
2003
We have been investigating an interactive approach for Open-domain QA (ODQA) and have constructed a spoken interactive ODQA system, SPIQA. The system derives disambiguating querie...
FIW
2000
13 years 10 months ago
2000
A methodology for feature design, specification, and validation is presented. The methodology is based on Use Case Maps for the description of features and on LOTOS with its tools ...
HCI
2007
13 years 10 months ago
2007
We survey recent research in which the impact of an embodied conversational agent on human-computer interaction has been assessed through a human evaluation. In some cases, the eva...
JAR
2007
13 years 9 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...