4211 search results - page 666 / 843 » Types as Abstract Interpretations |
151
Voted
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
115
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Abstract-- Failures of any type are common in current datacenters. As data scales up, its availability becomes more complex, while different availability levels per application or ...
139
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
114
Voted
WWW
2010
ACM
15 years 11 months ago
2010
ACM
This paper investigates whether Web comments can be exploited for cross-media retrieval. Comparing Web items such as texts, images, videos, music, products, or personal profiles ...
136
Voted
WALCOM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. Directed graphs are commonly drawn by the Sugiyama algorithm, where crossing reduction is a crucial phase. It is done by repeated one-sided 2-level crossing minimizations...