1174 search results - page 51 / 235 » Derivation of Characteristic Formulae |
148
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents an analytical approach to evaluate the expected complexity of a generalized sphere decoding (GSD) algorithm, GSDλ − , for underdetermined integer leastsquare...
143
click to vote
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...
120
click to vote
ISCIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
109
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
147
Voted
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper the judgement consisting in choosing a function that is believed to dominate the true probability distribution of a continuous random variable is explored. This kind...