274 search results - page 24 / 55 » Counting lattice vectors |
109
click to vote
ALGORITHMICA
2007
14 years 12 months ago
2007
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
ICML
2004
IEEE
16 years 16 days ago
2004
IEEE
The multiple-instance learning (MIL) model has been very successful in application areas such as drug discovery and content-based imageretrieval. Recently, a generalization of thi...
182
click to vote
POPL
2004
ACM
16 years 1 days ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
ESA
2007
Springer
15 years 6 months ago
2007
Springer
We present the rst sublinear-time algorithms for computing order statistics in the Farey sequence and for the related problem of ranking. Our algorithms achieve a running times o...
91
Voted
ICPR
2004
IEEE
16 years 25 days ago
2004
IEEE
A support vector machine based algorithm for corner detection is presented. It is based on computing the direction of maximum gray-level change for each edge pixel in an image, an...