Sciweavers

1778 search results - page 213 / 356
» Local multidimensional scaling
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 9 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
CVPR
2006
IEEE
15 years 9 months ago
Tracking With Sobolev Active Contours
Recently proposed Sobolev active contours introduced a new paradigm for minimizing energies defined on curves by changing the traditional cost of perturbing a curve and thereby re...
Ganesh Sundaramoorthi, Jeremy D. Jackson, Anthony ...
BMVC
2001
15 years 8 months ago
Detection Algorithm of Particle Contamination in Reticle Images with Continuous Wavelet Transform
This paper presents an inspection method of particle contamination for semiconductor reticles using continuous wavelet transform. Particle defect is considered as a singularity in...
Chaoquan Chen, Guoping Qiu
NIPS
2003
15 years 7 months ago
Convex Methods for Transduction
The 2-class transduction problem, as formulated by Vapnik [1], involves finding a separating hyperplane for a labelled data set that is also maximally distant from a given set of...
Tijl De Bie, Nello Cristianini
HPDC
2010
IEEE
15 years 7 months ago
ROARS: a scalable repository for data intensive scientific computing
As scientific research becomes more data intensive, there is an increasing need for scalable, reliable, and high performance storage systems. Such data repositories must provide b...
Hoang Bui, Peter Bui, Patrick J. Flynn, Douglas Th...