472 search results - page 38 / 95 » Symbolic range propagation |
101
Voted
ISSAC
2005
Springer
15 years 6 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...
77
Voted
IJBC
2007
15 years 19 days 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
15 years 18 days 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
15 years 7 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 â€...
110
Voted
INFOCOM
2011
IEEE
14 years 4 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...