1982 search results - page 328 / 397 » Parametricity and dependent types |
SIAMMAX
2010
14 years 4 months ago
2010
Many mathematical models involve flow equations characterized by nonconstant viscosity, and a Stokes type problem with variable viscosity coefficient arises. Appropriate block diag...
TASLP
2010
14 years 4 months ago
2010
In this paper, we suggest a novel group delay based method for the onset detection of pitched instruments. It is proposed to approach the problem of onset detection by examining th...
122
click to vote
CVPR
2011
IEEE
14 years 3 months ago
2011
IEEE
Several attempts have been lately proposed to tackle the
problem of recovering the original image of an underwater
scene using a sequence distorted by water waves. The
main draw...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Constrained cepstral systems, which select frames to match various linguistic “constraints” in enrollment and test, have shown significant improvements for speaker verificatio...
107
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Though social network site use is often treated as a monolithic activity, in which all time is equally “social” and its impact the same for all users, we examine how Facebook ...