1547 search results - page 70 / 310 » Randomized Variable Elimination |
169
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We present a new method for classification with structured
latent variables. Our model is formulated using the
max-margin formalism in the discriminative learning literature.
We...
134
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
A key aspect of semantic image segmentation is to integrate local and global features for the prediction of local segment labels. We present an approach to multi-class segmentatio...
110
click to vote
ICCAD
2007
IEEE
16 years 2 days ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
PODC
1999
ACM
15 years 7 months ago
1999
ACM
Various timing-based mutualexclusion algorithms have been proposed that guarantee mutual exclusion if certain timing assumptions hold. In this paper, we examine how these algorith...
127
click to vote
DNA
2000
Springer
15 years 6 months ago
2000
Springer
We present a randomized DNA algorithm for k-SAT based on the classical algorithm of Paturi et al. [8]. For an n-variable, m-clause instance of k-SAT (m > n), our algorithm finds...