Sciweavers

213 search results - page 20 / 43
» Counting Independent Sets Using the Bethe Approximation
Sort
View
DCC
2002
IEEE
16 years 3 months ago
Bit Allocation in Sub-linear Time and the Multiple-Choice Knapsack Problem
We show that the problem of optimal bit allocation among a set of independent discrete quantizers given a budget constraint is equivalent to the multiple choice knapsack problem (...
Alexander E. Mohr
CAV
2009
Springer
157views Hardware» more  CAV 2009»
16 years 4 months ago
Explaining Counterexamples Using Causality
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigai...
156
Voted
TNN
2008
182views more  TNN 2008»
15 years 3 months ago
Large-Scale Maximum Margin Discriminant Analysis Using Core Vector Machines
Abstract--Large-margin methods, such as support vector machines (SVMs), have been very successful in classification problems. Recently, maximum margin discriminant analysis (MMDA) ...
Ivor Wai-Hung Tsang, András Kocsor, James T...
126
Voted
CIMAGING
2010
195views Hardware» more  CIMAGING 2010»
15 years 4 months ago
SPIRAL out of convexity: sparsity-regularized algorithms for photon-limited imaging
The observations in many applications consist of counts of discrete events, such as photons hitting a detector, which cannot be effectively modeled using an additive bounded or Ga...
Zachary T. Harmany, Roummel F. Marcia, Rebecca Wil...
SMA
2005
ACM
119views Solid Modeling» more  SMA 2005»
15 years 9 months ago
Tightening: curvature-limiting morphological simplification
Given a planar set S of arbitrary topology and a radius r, we show how to construct an r-tightening of S, which is a set whose boundary has a radius of curvature everywhere greate...
Jason Williams, Jarek Rossignac