Sciweavers

384 search results - page 27 / 77
» The Number of Generalized Balanced Lines
Sort
View
RC
1998
92views more  RC 1998»
13 years 8 months ago
When Is the Product of Intervals Also an Interval?
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....
Olga Kosheleva, Piet G. Vroegindeweij
TIP
2008
111views more  TIP 2008»
13 years 8 months ago
A Region Merging Prior for Variational Level Set Image Segmentation
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...
Ismail Ben Ayed, Amar Mitiche
FPGA
2004
ACM
137views FPGA» more  FPGA 2004»
14 years 1 months ago
Multi-resource aware partitioning algorithms for FPGAs with heterogeneous resources
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...
Navaratnasothie Selvakkumaran, Abhishek Ranjan, Sa...
PLDI
2006
ACM
14 years 2 months ago
Termination proofs for systems code
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...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
PAMI
2010
192views more  PAMI 2010»
13 years 6 months ago
Multiway Spectral Clustering with Out-of-Sample Extensions through Weighted Kernel PCA
—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...
Carlos Alzate, Johan A. K. Suykens