1477 search results - page 207 / 296 » Complexity of (iterated) dominance |
144
Voted
VLSID
2010
IEEE
14 years 10 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
150
Voted
JMLR
2010
14 years 7 months ago
2010
In this paper, we propose a general framework for sparse semi-supervised learning, which concerns using a small portion of unlabeled data and a few labeled data to represent targe...
95
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper considers the problem of low complexity implementation of high-performance semidefinite relaxation (SDR) MIMO detection methods. Currently, most SDR MIMO detectors are...
148
click to vote
ML
2012
ACM
13 years 8 months ago
2012
ACM
Dependency networks approximate a joint probability distribution over multiple random variables as a product of conditional distributions. Relational Dependency Networks (RDNs) are...
146
click to vote
JMLR
2012
13 years 3 months ago
2012
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...