Sciweavers

1788 search results - page 234 / 358
» The Language of Search
Sort
View
FQAS
2004
Springer
135views Database» more  FQAS 2004»
14 years 1 months ago
Interactive Schema Integration with Sphinx
Abstract. The Internet has instigated a critical need for automated tools that facilitate integrating countless databases. Since non-technical end users are often the ultimate repo...
François Barbançon, Daniel P. Mirank...
FMCAD
2000
Springer
14 years 1 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
ECIR
2007
Springer
13 years 11 months ago
Similarity Measures for Short Segments of Text
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
Donald Metzler, Susan T. Dumais, Christopher Meek
ICASSP
2010
IEEE
13 years 10 months ago
Speech modeling based on committee-based active learning
We propose a committee-based active learning method for large vocabulary continuous speech recognition. In this approach, multiple recognizers are prepared beforehand, and the rec...
Yuzu Hamanaka, Koichi Shinoda, Sadaoki Furui, Tada...
IGPL
2006
90views more  IGPL 2006»
13 years 9 months ago
Surviving Abduction
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
Walter Alexandre Carnielli