5771 search results - page 1098 / 1155 » Learning similarity space |
DAGSTUHL
2006
15 years 11 days 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...
104
click to vote
IJCAI
2001
15 years 10 days ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
114
click to vote
NIPS
2004
15 years 10 days ago
2004
We show how to build hierarchical, reduced-rank representation for large stochastic matrices and use this representation to design an efficient algorithm for computing the largest...
123
click to vote
SPIESR
2001
15 years 10 days ago
2001
Humans tend to use high-level semantic concepts when querying and browsing multimedia databases; there is thus, a need for systems that extract these concepts and make available a...
PICS
2003
15 years 10 days ago
2003
Halftone printing has been developing in a linear manner since the inception of photography. The process of refinement has taken it from one level to another producing increasingl...