Sciweavers

1092 search results - page 155 / 219
» Abbreviated text input using language modeling
Sort
View
PLDI
2006
ACM
14 years 3 months ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
EDBT
2010
ACM
145views Database» more  EDBT 2010»
14 years 1 months ago
Splash: ad-hoc querying of data and statistical models
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
Lujun Fang, Kristen LeFevre
LREC
2010
166views Education» more  LREC 2010»
13 years 11 months ago
Learning Based Java for Rapid Development of NLP Systems
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
Nick Rizzolo, Dan Roth
EACL
2003
ACL Anthology
13 years 11 months ago
Targeted Help for Spoken Dialogue Systems
We present experimental evidence that providing naive users of a spoken dialogue system with immediate help messages related to their out-of-coverage utterances improves their suc...
Beth Ann Hockey, Oliver Lemon, Ellen Campana, Laur...
SERP
2007
13 years 11 months ago
Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
Kendra Cooper, Lirong Dai, Sergiu Dascalu, Nehal M...