Sciweavers

3827 search results - page 128 / 766
» The Epsilon Generation Language
Sort
View
SIGDIAL
2010
15 years 2 months ago
Utilizing Review Summarization in a Spoken Recommendation System
In this paper we present a framework for spoken recommendation systems. To provide reliable recommendations to users, we incorporate a review summarization technique which extract...
Jingjing Liu, Stephanie Seneff, Victor Zue
EMNLP
2009
15 years 2 months ago
Discriminative Substring Decoding for Transliteration
We present a discriminative substring decoder for transliteration. This decoder extends recent approaches for discriminative character transduction by allowing for a list of known...
Colin Cherry, Hisami Suzuki
EMNLP
2009
15 years 2 months ago
A Bayesian Model of Syntax-Directed Tree to String Grammar Induction
Tree based translation models are a compelling means of integrating linguistic information into machine translation. Syntax can inform lexical selection and reordering choices and...
Trevor Cohn, Phil Blunsom
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 8 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
PADL
2011
Springer
14 years 7 months ago
Plato: A Compiler for Interactive Web Forms
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
Timothy L. Hinrichs