8903 search results - page 37 / 1781 » Alternative |
SAS
2010
Springer
14 years 8 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
62
Voted
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Using interference alignment, it has been shown that the number of degrees of freedom in the interference channel scales linearly with the number of users. Unfortunately, closed-f...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—We propose a broadcast protocol that is based on a form of cooperative transmission called the Opportunistic Large Array (OLA). Multiple SNR (or transmission) thresholds are use...
ISMIS
2009
Springer
15 years 4 months ago
2009
Springer
This paper proposes and evaluates several alternate design choices for common prediction metrics employed by neighborhood-based collaborative filtering approach. It first explores ...