13383 search results - page 2439 / 2677 » Abstractions from proofs |
85
Voted
SIGIR
2008
ACM
15 years 22 days ago
2008
ACM
With an explosive growth of blogs, information seeking in blogosphere becomes more and more challenging. One example task is to find the most relevant topical blogs against a give...
107
Voted
TASLP
2008
15 years 21 days ago
2008
Abstract--We describe in this paper an audio denoising technique based on sparse linear regression with structured priors. The noisy signal is decomposed as a linear combination of...
131
Voted
TCAD
2008
15 years 21 days ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
97
Voted
INFORMATICALT
2007
15 years 21 days ago
2007
Abstract. A technique to improve an eye cataract early detection and quantitative evaluation of maturity using ultrasound was investigated. A broadband coherent signal, backscatter...
INTERNET
2007
15 years 21 days ago
2007
evel of abstraction, we can represent a workflow as a directed graph with operators (or tasks) at the vertices (see Figure 1). Each operator takes inputs from data sources or from ...