472 search results - page 38 / 95 » Symbolic range propagation |
ISSAC
2005
Springer
14 years 3 months ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
IJBC
2007
13 years 10 months ago
2007
A particularly simple and mathematically elegant example of chaos in a threedimensional flow is examined in detail. It has the property of cyclic symmetry with respect to intercha...
TSP
2008
13 years 9 months ago
2008
We derive an easy-to-compute approximate bound for the range of step-sizes for which the constant-modulus algorithm (CMA) will remain stable if initialized close to a minimum of t...
IWSOS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...
INFOCOM
2011
IEEE
13 years 1 months ago
2011
IEEE
—We explore distributed mechanisms for maintaining the physical layer connectivity of a mobile wireless network while still permitting signiï¬cant area coverage. Moreover, we re...