1982 search results - page 205 / 397 » Parametricity and dependent types |
186
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—One part of the vision of ubiquitous computing is the integration of sensing and actuation nodes into everyday objects, clothes worn on the body, and in large numbers into the e...
195
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Kraj´ıˇcek [7] have recently introduced the notion of propositional proof systems with...
110
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent trends in speech and audio codec standardization include scalability and extending the signal bandwidth beyond wideband (WB) to superwideband (SWB). In this paper we introd...
167
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present a new approach to the temporal order restoration of the off-line handwriting. After the preprocessing steps of the word image, a suitable algorithm makes...
149
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Eigenvalue analysis is an important aspect in many data modeling methods. Unfortunately, the eigenvalues of the sample covariance matrix (sample eigenvalues) are biased estimate...