Sciweavers

9119 search results - page 1466 / 1824
» A Simultaneous Search Problem
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 9 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
152
Voted
ICPR
2010
IEEE
15 years 9 months ago
Large Margin Classifier Based on Affine Hulls
This paper introduces a geometrically inspired large-margin classifier that can be a better alternative to the Support Vector Machines (SVMs) for the classification problems with ...
Hakan Cevikalp, Hasan Serhan Yavuz
DAWAK
2000
Springer
15 years 9 months ago
COFE: A Scalable Method for Feature Extraction from Complex Objects
Abstract. Feature Extraction, also known as Multidimensional Scaling, is a basic primitive associated with indexing, clustering, nearest neighbor searching and visualization. We co...
Gabriela Hristescu, Martin Farach-Colton
CP
1999
Springer
15 years 9 months ago
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
Benjamin W. Wah, Zhe Wu
136
Voted
MICCAI
1999
Springer
15 years 9 months ago
Towards a Better Comprehension of Similarity Measures Used in Medical Image Registration
While intensity-based similarity measures are increasingly used for medical image registration, they often rely on implicit assumptions regarding the physics of imaging. The motiva...
Alexis Roche, Grégoire Malandain, Nicholas ...
« Prev « First page 1466 / 1824 Last » Next »