916 search results - page 113 / 184 » Algorithm selection: a quantitative computation-intensive op... |
137
click to vote
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
TIP
2008
15 years 3 months ago
2008
Abstract--Due to the limited depth of field of brightfield microscopes, it is usually impossible to image thick specimens entirely in focus. By optically sectioning the specimen, t...
157
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we exploit a novel ranking mechanism that processes query samples with noisy labels, motivated by the practical application of web image search re-ranking where the...
122
click to vote
CIVR
2005
Springer
15 years 8 months ago
2005
Springer
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
125
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—As developments in wireless networks continue, there is an increasing expectation with regard to supporting highquality real-time video streaming service in such networks. The r...