6906 search results - page 370 / 1382 » An algorithm for modelling key terms |
172
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
203
click to vote
KAIS
2010
15 years 5 months ago
2010
We argue that expert finding is sensitive to multiple document features in an organizational intranet. These document features include multiple levels of associations between expe...
164
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we propose to model the blended search problem by assuming conditional dependencies among queries, VSEs and search results. The probability distributions of this mo...
182
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a new approach to HMM adaptation that jointly compensates for additive and convolutive acoustic distortion in environment-robust speech recognition. The ...
170
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...