4983 search results - page 64 / 997 » order 2008 |
127
click to vote
AAAI
2008
15 years 3 months ago
2008
Usually a voting rule requires agents to give their preferences as linear orders. However, in some cases it is impractical for an agent to give a linear order over all the alterna...
91
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
102
Voted
DCC
2008
IEEE
16 years 13 days ago
2008
IEEE
We present a new construction for sequences in the finite abelian group Cr n without zero-sum subsequences of length n, for odd n. This construction improves the maximal known car...
79
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—The second-order cyclostationarity of cyclically prefixed single carrier linear digital (CP-SCLD) modulated signals is investigated with emphasis on its applicability to signal ...
93
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, an efficient method for language model lookahead probability generation is presented. Traditional methods generate language model look-ahead (LMLA) probabilities fo...