Sciweavers

268 search results - page 24 / 54
» Effects of Language Modeling on Speech-driven Question Answe...
Sort
View
POPL
2011
ACM
14 years 4 months ago
Safe nondeterminism in a deterministic-by-default parallel language
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
Robert L. Bocchino Jr., Stephen Heumann, Nima Hona...
LCPC
2005
Springer
15 years 7 months ago
Code Transformations for One-Pass Analysis
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
Xiaogang Li, Gagan Agrawal
CSR
2009
Springer
15 years 5 months ago
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
Olaf Beyersdorff, Zenon Sadowski
135
Voted
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 5 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
CICLING
2007
Springer
15 years 8 months ago
Adapting the JIRS Passage Retrieval System to the Arabic Language
The need of having a Passage Retrieval (PR) system for Arabic texts is due essentially to our aim to build an Arabic Question Answering (QA) system in our research team. We have ch...
Yassine Benajiba, Paolo Rosso, José Manuel ...