12334 search results - page 205 / 2467 » The Use of C |
122
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
The paper proposes a novel methodology to estimate the velocity of fast moving targets using a single synthetic aperture radar sensor without increasing the Pulse Repetition Frequ...
151
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
130
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we explore experimentally the use of the commute time of the continuous-time quantum walk for graph drawing. For the classical random walk, the commute time has bee...
106
click to vote
CISS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper considers hybrid-ARQ under the constraints of noncoherent orthogonal modulation and hard-decision decoding. Information theoretic bounds on the throughput fo...
130
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Set expansion refers to expanding a given partial set of objects into a more complete set. A well-known example system that does set expansion using the web is Google Sets. In thi...