1930 search results - page 95 / 386 » Epistemic comparative conditionals |
134
click to vote
ICMCS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper describes a study of automatically identifying whispering speakers. People usually whisper in order to avoid being identified or overheard by lowering their voices. Th...
140
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
151
click to vote
ICMCS
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— In a multi-source video streaming system, premature draining of low-power nodes can cause sudden failures of peer connections and degrade streaming performance. To solv...
131
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
Previous work in Query-by-Humming systems has left open many questions. Although a variety of techniques have been explored, there has been relatively little work to compare them ...
174
click to vote
IRAL
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we focus on performing LSI on very low SVD dimensions. The results show that there is a nearly linear surface in the local query region. Using low-dimensional LSI o...