747 search results - page 4 / 150 » An Alternative Representation for QBF |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper proposes a new method for peak to average power ratio (PAPR) reduction in orthogonal frequency division multiplexing (OFDM) systems using two alternative signalling ...
JMIV
2006
14 years 9 months ago
2006
Among the many attempts made to represent families of 2D shapes in a simpler way, the Medial Axis (MA) takes a prominent place. Its graphical representation is intuitively appealin...
EUSFLAT
2007
14 years 11 months ago
2007
AHP (Analytic Hierarchy Process) has been widely used in decision making techniques. However, the results from AHP often lose reliability because the comparison matrix does not al...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
