384 search results - page 27 / 77 » The Number of Generalized Balanced Lines |
RC
1998
14 years 11 months ago
1998
Interval arithmetic is based on the fact that for intervals on the real line, the element-wise product of two intervals is also an interval. This property is not always true: e.g....
TIP
2008
14 years 11 months ago
2008
In current level set image segmentation methods, the number of regions is assumed to known beforehand. As a result, it remains constant during the optimization of the objective fun...
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
As FPGA densities increase, partitioning-based FPGA placement approaches are becoming increasingly important as they can be used to provide high-quality and computationally scalab...
105
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
119
click to vote
PAMI
2010
14 years 10 months ago
2010
—A new formulation for multiway spectral clustering is proposed. This method corresponds to a weighted kernel principal component analysis (PCA) approach based on primal-dual lea...