223 search results - page 32 / 45 » Proving Termination by Bounded Increase |
CORR
2011
Springer
14 years 4 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-...
51
Voted
COMBINATORICS
2000
14 years 9 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...
FMCAD
2007
Springer
15 years 3 months 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...
CCCG
1994
14 years 10 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...
GLOBECOM
2009
IEEE
14 years 7 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...