Sciweavers

213 search results - page 20 / 43
» Counting Independent Sets Using the Bethe Approximation
Sort
View
DCC
2002
IEEE
15 years 11 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 11 days 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...
TNN
2008
182views more  TNN 2008»
14 years 11 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...
CIMAGING
2010
195views Hardware» more  CIMAGING 2010»
15 years 1 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 5 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