2143 search results - page 370 / 429 » corr 2010 |
CORR
2010
Springer
15 years 21 days ago
2010
Springer
In order to protect an image search engine's users from undesirable results adult images' classifier should be built. The information about links from websites to images...
106
click to vote
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
84
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
75
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
One peculiarity with deletion-correcting codes is that perfect t-deletion-correcting codes of the same length over the same alphabet can have different numbers of codewords, becaus...
84
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Consider a routing problem instance consisting of a demand graph H = (V, E(H)) and a supply graph G = (V, E(G)). If the pair obeys the cut condition, then the flow-cut gap for thi...