2745 search results - page 386 / 549 » A fast algorithm for computing large Fibonacci numbers |
128
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we propose a new data reduction algorithm that iteratively selects some samples and ignores others that can be absorbed, or represented, by those selected. This alg...
130
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
151
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
134
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches b...
131
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
Statistical modeling for content based retrieval is examined in the context of recent TREC Video benchmark exercise. The TREC Video exercise can be viewed as a test bed for evalua...