3972 search results - page 721 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
151
Voted
CHI
2011
ACM
14 years 7 months ago
2011
ACM
In this paper, we propose a system for helping users to judge the credibility of Web search results and to search for credible Web pages. Conventional Web search engines present o...
138
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
119
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
Text summarization is a data reduction process. The use of text summarization enables users to reduce the amount of text that must be read while still assimilating the core inform...
144
Voted
ACCV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...
116
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...