Sciweavers

1788 search results - page 213 / 358
» The Language of Search
Sort
View
ENTCS
2010
103views more  ENTCS 2010»
15 years 3 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
ICASSP
2011
IEEE
14 years 10 months ago
Hill climbing on speech lattices: A new rescoring framework
We describe a new approach for rescoring speech lattices — with long-span language models or wide-context acoustic models — that does not entail computationally intensive latt...
Ariya Rastrow, Markus Dreyer, Abhinav Sethy, Sanje...
IUI
2011
ACM
14 years 9 months ago
Predicting and compensating for lexicon access errors
Learning a foreign language is a long, error-prone process, and much of a learner’s time is effectively spent studying vocabulary. Many errors occur because words are only partl...
Lars Yencken, Timothy Baldwin
CLEF
2011
Springer
14 years 6 months ago
Evaluating Some Contextual Factors for Image Retrieval - ReDCAD Participation at ImageCLEF Wikipedia 2011
Our participation in the ImageCLEF Wikipedia retrieval task aims to study the efficiency of using two contextual factors in image retrieval: metadata which contains specific infor...
Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Je...
SIGIR
2005
ACM
15 years 12 months ago
Optimization strategies for complex queries
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...
Trevor Strohman, Howard R. Turtle, W. Bruce Croft