713 search results - page 62 / 143 » Saving Space by Algebraization |
83
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
91
Voted
DEXAW
2008
IEEE
15 years 7 months ago
2008
IEEE
– We describe a method to extract content text from diverse Web pages by using the HTML document’s Text-to-Tag Ratio rather than specific HTML cues that may not be constant acr...
112
Voted
ICS
2005
Tsinghua U.
15 years 6 months ago
2005
Tsinghua U.
We present a cache oblivious algorithm for stencil computations, which arise for example in finite-difference methods. Our algorithm applies to arbitrary stencils in n-dimension...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
We propose a novel approach to bus energy minimization that targets crosstalk effects. Unlike previous approaches, we try to reduce energy through capacitance optimization, by ad ...
90
Voted
APPROX
2006
Springer
15 years 4 months ago
2006
Springer
We describe a simple random-sampling based procedure for producing sparse matrix approximations. Our procedure and analysis are extremely simple: the analysis uses nothing more th...