1581 search results - page 259 / 317 » Mechanizing Inductive Reasoning |
ICASSP
2010
IEEE
15 years 1 days ago
2010
IEEE
It has long been considered a desirable goal to be able to construct an intelligible speech signal merely by observing the talker in the act of speaking. Past methods at performin...
APSCC
2007
IEEE
15 years 15 hour ago
2007
IEEE
Abstract— In this paper, we address the problem of lifetime optimization under storage constraint for wireless sensor networks with a mobile sink node. The problem is particularl...
112
click to vote
ICDCSW
2007
IEEE
15 years 1 hour ago
2007
IEEE
—Application mobility is an efficient way to mask uneven conditioning and reduce users’ distractions in pervasive environments. However, since mobility brings more dynamism and...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This paper studies the performance of hybrid-ARQ (automatic repeat request) in Rayleigh blockfading channels. The long-term average transmitted rate is analyzed in a fast-fading s...