132 search results - page 17 / 27 » ml 2010 |
ENTCS
2006
14 years 9 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
TIP
2010
14 years 4 months ago
2010
Abstract--Image segmentation plays an important role in computer vision and image analysis. In this paper, image segmentation is formulated as a labeling problem under a probabilit...
VTC
2010
IEEE
14 years 7 months ago
2010
IEEE
—In this paper, we consider user selection criteria for various multiple input multiple output (MIMO) detectors to exploit the multiuser diversity. It is shown that the user sele...
TSP
2010
14 years 4 months ago
2010
Abstract--This paper proposes a general framework to effectively estimate the unknown timing and channel parameters, as well as design efficient timing resynchronization algorithms...
TSP
2010
14 years 4 months ago
2010
In this paper, we consider a low-complexity detection technique referred to as a reduced dimension maximum-likelihood search (RD-MLS). RD-MLS is based on a partitioned search which...