728 search results - page 59 / 146 » Efficient Searching with Linear Constraints |
148
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
171
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...
156
click to vote
SPIN
2007
Springer
16 years 8 days ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
127
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--The electrostatic discharge (ESD) problem has become a challenging reliability issue in nanometer-circuit design. High voltages that resulted from ESD might cause high cu...
154
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce a method that enables scalable image search for learned metrics. Given pairwise similarity and dissimilarity constraints between some images, we learn a Mahalanobis d...