Sciweavers

94 search results - page 3 / 19
» Fragment Completion in Humans and Machines
Sort
View
LREC
2010
158views Education» more  LREC 2010»
13 years 7 months ago
Evaluating Human-Machine Conversation for Appropriateness
Evaluation of complex, collaborative dialogue systems is a difficult task. Traditionally, developers have relied upon subjective feedback from the user, and parametrisation over o...
Nick Webb, David Benyon, Preben Hansen, Oli Mival
EXTREME
2004
ACM
13 years 11 months ago
A Simple Proof for the Turing-Completeness of XSLT and XQuery
The World Wide Web Consortium recommends both XSLT and XQuery as query languages for XML documents. XSLT, originally designed to transform XML into XSL-FO, is nowadays a fully gro...
Stephan Kepser
DEXAW
1998
IEEE
119views Database» more  DEXAW 1998»
13 years 10 months ago
Managing Different Interfaces in Electronic Commerce
During the last years the field of electronic commerce has seen a rapid growth. Various methods have been developed to allow the electronic transfer of business-related informatio...
Christian Huemer
ACL
2009
13 years 4 months ago
A Web-Based Interactive Computer Aided Translation Tool
We developed caitra, a novel tool that aids human translators by (a) making suggestions for sentence completion in an interactive machine translation setting, (b) providing altern...
Philipp Koehn
LMCS
2007
132views more  LMCS 2007»
13 years 6 months ago
The Complexity of Model Checking Higher-Order Fixpoint Logic
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
Roland Axelsson, Martin Lange, Rafal Somla