Sciweavers

1844 search results - page 343 / 369
» Algorithms to Improve Performance of Natural Language Interf...
Sort
View
TCAD
2008
114views more  TCAD 2008»
13 years 7 months ago
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
Himanshu Jain, Daniel Kroening, Natasha Sharygina,...
CIKM
2010
Springer
13 years 6 months ago
Fast query expansion using approximations of relevance models
Pseudo-relevance feedback (PRF) improves search quality by expanding the query using terms from high-ranking documents from an initial retrieval. Although PRF can often result in ...
Marc-Allen Cartright, James Allan, Victor Lavrenko...
CIKM
2010
Springer
13 years 6 months ago
A cross-lingual framework for monolingual biomedical information retrieval
An important challenge for biomedical information retrieval (IR) is dealing with the complex, inconsistent and ambiguous biomedical terminology. Frequently, a concept-based repres...
Dolf Trieschnigg, Djoerd Hiemstra, Franciska de Jo...
INTERSPEECH
2010
13 years 2 months ago
Investigation of full-sequence training of deep belief networks for speech recognition
Recently, Deep Belief Networks (DBNs) have been proposed for phone recognition and were found to achieve highly competitive performance. In the original DBNs, only framelevel info...
Abdel-rahman Mohamed, Dong Yu, L. Deng
ICDE
2011
IEEE
232views Database» more  ICDE 2011»
12 years 11 months ago
XClean: Providing valid spelling suggestions for XML keyword queries
—An important facility to aid keyword search on XML data is suggesting alternative queries when user queries contain typographical errors. Query suggestion thus can improve users...
Yifei Lu, Wei Wang, Jianxin Li, Chengfei Liu