18209 search results - page 361 / 3642 » Some Remarks on the Paper |
118
click to vote
AML
2007
15 years 7 months ago
2007
The main result of this paper is a partial answer to [7, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determ...
154
click to vote
AML
2007
15 years 7 months ago
2007
In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Random coding arguments are the backbone of most channel capacity achievability proofs. In this paper, we show that in their standard form, such arguments are insufficient for pro...
138
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: In this paper we consider several facility location problems with applications to cost and social welfare optimization, when the area map is encoded as a binary (0,1) mxn matrix....
166
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: In this paper I present several novel, efficient, algorithmic techniques for solving some multidimensional geometric data management and analysis problems. The techniques are bas...