1511 search results - page 282 / 303 » Relational Parametricity for Computational Effects |
150
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
Datasets are an integral part of contemporary object recognition research. They have been the chief reason for the considerable progress in the field, not just as source of large...
136
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
158
click to vote
TASLP
2010
14 years 11 months ago
2010
This paper presents a novel probabilistic approach to speech enhancement. Instead of a deterministic logarithmic relationship, we assume a probabilistic relationship between the fr...
164
click to vote
TON
2010
14 years 10 months ago
2010
Dense deployments of WLANs suffer from increased interference and as a result, reduced capacity. There are three main functions used to improve the overall network capacity: a) in...
156
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Blind and deaf-blind people often rely on public transit for everyday mobility, but using transit can be challenging for them. We conducted semi-structured interviews with 13 blin...