Sciweavers

443 search results - page 60 / 89
» On The Interpretation Of Natural Language Instructions
Sort
View
ACL
1993
14 years 10 months ago
A Speech-First Model for Repair Detection and Correction
Interpreting fully natural speech is an important goal for spoken language understanding systems. However, while corpus studies have shown that about 10% of spontaneous utterances...
Christine H. Nakatani, Julia Hirschberg
67
Voted
DSS
2007
98views more  DSS 2007»
14 years 9 months ago
Modelling uncertain positive and negative reasons in decision aiding
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
Meltem Öztürk, Alexis Tsoukiàs
85
Voted
IWINAC
2009
Springer
15 years 4 months ago
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
Guido Sciavicco, José M. Juárez, Man...
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
15 years 2 months ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...
SIAMDM
1998
89views more  SIAMDM 1998»
14 years 9 months ago
String Noninclusion Optimization Problems
For every string inclusion relation there are two optimization problems: find a longest string included in every string of a given finite language, and find a shortest string in...
Anatoly R. Rubinov, Vadim G. Timkovsky