223 search results - page 32 / 45 » Proving Termination by Bounded Increase |
154
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In this paper, we study a simple correlation-based strategy for estimating the unknown delay and amplitude of a signal based on a small number of noisy, randomly chosen frequency-...
125
click to vote
COMBINATORICS
2000
15 years 5 months ago
2000
Given a space endowed with symmetry, we define ms(, r) to be the maximum of m such that for any r-coloring of there exists a monochromatic symmetric set of size at least m. We c...
143
click to vote
FMCAD
2007
Springer
16 years 6 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
161
click to vote
CCCG
1994
15 years 7 months ago
1994
We formulate the problem of computing the widest empty corridor with at most ` links and right-angle turns for a set of n points. It is a generalization of the widest empty corrid...
207
click to vote
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--In this paper, we consider multiple-input multipleoutput (MIMO) communication systems with combined channel covariance feedback (CCF) and channel gain feedback (CGF), her...