5900 search results - page 252 / 1180 » Dependable Systems |
162
click to vote
JAR
2006
15 years 6 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
279
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
Abstract. The paper considers application of stochastic optimization to system of automatic recognition of ischemic stroke area on computed tomography (CT) images. The algorithm of...
157
click to vote
TIT
2008
15 years 6 months ago
2008
An underdetermined linear system of equations Ax = b with non-negativity constraint x 0 is considered. It is shown that for matrices A with a row-span intersecting the positive o...
193
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Coordinated multi-point (CoMP) in the cellular uplink appears to be an effective option to combat inter-cell interference, offering large improvements in spectral efficiency and fa...
175
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The domain name system (DNS) is critical to Internet functionality. The availability of a domain name refers to its ability to be resolved correctly. We develop a model f...