1365 search results - page 167 / 273 » Maximal Causality Analysis |
118
Voted
LISP
2006
15 years 24 days ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
SIAMDM
2008
15 years 23 days ago
2008
Hat problems have become a popular topic in recreational mathematics. In a typical hat problem, each of n players tries to guess the color of the hat they are wearing by looking a...
112
Voted
SIAMJO
2008
15 years 23 days ago
2008
This paper concerns a fractional function of the form xT a/ xT Bx, where B is positive definite. We consider the game of choosing x from a convex set, to maximize the function, an...
120
click to vote
SIGECOM
2008
ACM
15 years 23 days ago
2008
ACM
We characterize truthful mechanisms in two multi-parameter domains. The first characterization shows that every mechanism for combinatorial auctions with two subadditive bidders t...
101
Voted
TWC
2008
15 years 21 days ago
2008
In this paper, we address the potential benefits of dual-polarized arrays in multi-antenna wireless systems. After an extensive literature overview of experimental data, we present...