10819 search results - page 59 / 2164 » Addition and multiplication of sets |
184
click to vote
TIT
2002
15 years 5 months ago
2002
We consider direct sequence code division multiple access (DS-CDMA), modeling interference from users communicating with neighboring base stations by additive colored noise. We con...
180
click to vote
NIPS
2001
15 years 7 months ago
2001
We consider the problem of learning to attain multiple goals in a dynamic environment, which is initially unknown. In addition, the environment may contain arbitrarily varying ele...
135
click to vote
DSD
2003
IEEE
15 years 11 months ago
2003
IEEE
The Logarithmic Number System (LNS) is an alternative to IEEE-754 standard floating-point arithmetic. LNS multiply, divide and square root are easier than IEEE-754 and naturally ...
103
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We prove in this paper that there exists some infinitary rational relations which are 0 3-complete Borel sets and some others which are 0 3-complete. These results give a...
136
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...