6906 search results - page 267 / 1382 » An algorithm for modelling key terms |
157
click to vote
SIGIR
2004
ACM
16 years 16 hour ago
2004
ACM
Most previous work on the recently developed languagemodeling approach to information retrieval focuses on document-specific characteristics, and therefore does not take into acc...
141
click to vote
IJCV
2006
15 years 6 months ago
2006
We propose an algorithm to increase the resolution of multispectral satellite images knowing the panchromatic image at high resolution and the spectral channels at lower resolutio...
159
click to vote
FMCAD
2007
Springer
16 years 23 days ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
148
click to vote
TAMC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was intr...
172
click to vote
EWSA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...