5255 search results - page 583 / 1051 » Formal Methods for Privacy |
192
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...
168
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many calibration methods calibrate a pair of sensors at a time. For robotic systems with many sensors, they are often time-consuming to use, and can also lead to inaccurate res...
198
click to vote
WSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
177
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
This paper addresses the issue of automatically extracting keyphrases from document. Previously, this problem was formalized as classification and learning methods for classific...
197
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
We present a formulation of retiming to minimize the number of registers in a design by iterating a maximum network flow problem. The retiming returned will be the optimum one whi...