Sciweavers

242 search results - page 29 / 49
» Dialog Control in a Natural Language System
Sort
View
EACL
2003
ACL Anthology
14 years 11 months ago
Talking through Procedures: An Intelligent Space Station Procedure Assistant
We present a prototype system aimed at providing spoken dialogue support for complex procedures aboard the International Space Station. The system allows navigation one line at a ...
Gregory Aist, John Dowding, Beth Ann Hockey, Manny...
96
Voted
PVLDB
2008
132views more  PVLDB 2008»
14 years 9 months ago
Access control over uncertain data
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
Vibhor Rastogi, Dan Suciu, Evan Welbourne
ACSAC
2001
IEEE
15 years 1 months ago
Genoa TIE, Advanced Boundary Controller Experiment
This document describes experimentation performed as part of the Genoa Technology Integration Experiment (TIE). Achieved in two phases, the overarching assertion of the Genoa TIE ...
Eric Monteith
CIBSE
2008
ACM
14 years 11 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
ENTCS
2007
96views more  ENTCS 2007»
14 years 9 months ago
Deduction, Strategies, and Rewriting
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
Steven Eker, Narciso Martí-Oliet, Jos&eacut...