Results 1 - 10
of
352
A Soft Constraint of Equality: Complexity and Approximability
, 2008
"... We introduce the SoftAllEqual global constraint, which maximizes the number of equalities holding between pairs of assignments to a set of variables. We study the computational complexity of propagating this constraint, showing that it is intractable in general, since maximizing the number of pairs ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
We introduce the SoftAllEqual global constraint, which maximizes the number of equalities holding between pairs of assignments to a set of variables. We study the computational complexity of propagating this constraint, showing that it is intractable in general, since maximizing the number
Soft Constraints of Difference and Equality
, 2011
"... In many combinatorial problems one may need to model the diversity or similarity of sets of assignments. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this type we can use soft variants of the well known AllDifferent and AllEq ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
constraints. We present a taxonomy of six soft global constraints, generated by combining the two latter ones and the two standard cost functions, which are either maximised or minimised. We characterise the complexity of achieving arc and bounds consistency on these constraints, resolving those cases
Reasoning about soft constraints and conditional preferences: Complexity results and approximation techniques
- In Proceedings of IJCAI-2003
, 2003
"... Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all three kinds of information. We therefore propose a framework, based on both CP-nets and soft constraints, that handles bot ..."
Abstract
-
Cited by 40 (16 self)
- Add to MetaCart
both hard and soft constraints as well as conditional preferences efficiently and uniformly. We study the complexity of testing the consistency of preference statements, and show how soft constraints can faithfully approximate the semantics of conditional preference statements whilst improving
Low Complexity Soft-Input Soft-Output Block Decision Feedback Equalization
, 2008
"... A low complexity soft-input soft-output (SISO) block decision feedback equalizer (BDFE) is presented for turbo equalization. The proposed method employs a sub-optimum sequence-based detection, where the soft-output of the equalizer is calculated by evaluating an approximation of the sequence-based ..."
Abstract
- Add to MetaCart
A low complexity soft-input soft-output (SISO) block decision feedback equalizer (BDFE) is presented for turbo equalization. The proposed method employs a sub-optimum sequence-based detection, where the soft-output of the equalizer is calculated by evaluating an approximation of the sequence
Reduced-Complexity SISO Equalization for Rayleigh Fading Channels with Known Statistics
, 2004
"... For Rayleigh fading channels with known covariance matrix, reduced-complexity receivers can be derived which approximate the maximum likelihood (ML) receiver by defining additional constraints. The reduced-complexity receiver, which assumes that the current channel output depends on finite previous ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
For Rayleigh fading channels with known covariance matrix, reduced-complexity receivers can be derived which approximate the maximum likelihood (ML) receiver by defining additional constraints. The reduced-complexity receiver, which assumes that the current channel output depends on finite previous
Descriptive complexity of approximate counting
"... Motivated by Fagin’s characterization of NP, Saluja et al. have introduced a logic based framework for expressing counting problems. In this setting, a counting problem (seen as a mapping C from structures to non-negative integers) is ’defined ’ by a first-order sentence ϕ if for every instance A of ..."
Abstract
- Add to MetaCart
of the problem, the number of possible satisfying assignments of the variables of ϕ in A is equal to C(A). The logic RHΠ1 has been introduced by Dyer et al. as in their study of the counting complexity class #BIS. The interest of the class #BIS relies in the fact that, it might be quite the case
A Scheme for Approximating Probabilistic Inference
- In Proceedings of Uncertainty in Artificial Intelligence (UAI97
, 1997
"... This paper describes a class of probabilistic approximation algorithms based on bucket elimination which offer adjustable levels of accuracy and efficiency. We analyze the approximation for several tasks: finding the most probable explanation, belief updating and finding the maximum a posteriori hyp ..."
Abstract
-
Cited by 57 (20 self)
- Add to MetaCart
This paper describes a class of probabilistic approximation algorithms based on bucket elimination which offer adjustable levels of accuracy and efficiency. We analyze the approximation for several tasks: finding the most probable explanation, belief updating and finding the maximum a posteriori
A CONTROLLABLE COMPLEXITY SOFT-OUTPUT SUBOPTIMAL CONVOLUTIONAL DECODER
"... Suboptimal decoding of convolutional codes, motivated by the need to deal with large constraint length codes, has in the past been achieved by stack algorithms or sequential decoding, which typically do not produce soft outputs, which may be desirable in some modern iterative decoding frameworks. Mo ..."
Abstract
- Add to MetaCart
that the central limit theorem does not apply. Instead, we invoke Gallager’s lemma to compute the distribution of the interfering terms. Under various assumptions of independence (resulting in different complexities) the channel posterior probability can be approximated, resulting in a soft-output decoder. Initial
Descriptive complexity of approximate counting CSPs
, 2013
"... Motivated by Fagin’s characterization of NP, Saluja et al. have introduced a logic based framework for expressing counting problems. In this setting, a counting problem (seen as a mapping C from structures to non-negative integers) is ’defined ’ by a first-order sentence ϕ if for every instance A of ..."
Abstract
- Add to MetaCart
of the problem, the number of possible satisfying assignments of the variables of ϕ in A is equal to C(A). The logic RHΠ1 has been introduced by Dyer et al. in their study of the counting complexity class #BIS. The interest in the class #BIS stems from the fact that, it is quite plausible that the problems
A LINEAR COMPLEXITY TURBO EQUALIZER BASED ON A MODIFIED SOFT INTERFERENCE CANCELLER
"... Soft-Input Soft-Output (SISO) equalizers based on linear fil-ters have proven to be good, low complexity, alternatives to trellis-based SISO equalizers. In particular, the Soft Interfer-ence Canceller (SIC) has recently received great interest, es-pecially for receivers performing Turbo Equalization ..."
Abstract
- Add to MetaCart
expectation of those symbols, given both the a-priori probabilities and the received sequence. This modification results in performance gains at the expense of increased computational complexity. How-ever, by introducing an approximation to the aforementioned algorithm a linear complexity SISO equalizer can
Results 1 - 10
of
352