1312 search results - page 150 / 263 » Formally Optimal Boxing |
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
ISPEC
2009
Springer
14 years 4 months ago
2009
Springer
We propose two symmetric-key management schemes for the encryption of scalable compressed video content. The schemes are applicable to MPEG-4 Fine Grain Scalability video coding. O...
IAT
2009
IEEE
14 years 4 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...
WSOM
2009
Springer
14 years 4 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...
FM
2009
Springer
14 years 4 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...