630 search results - page 35 / 126 » Symbolic Domain Decomposition |
ICMS
2010
13 years 7 months ago
2010
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...
GPEM
2008
13 years 8 months ago
2008
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper the use of electronically steerable passive array radiator (ESPAR) antennas is introduced for achieving increased spectral efficiency characteristics in multiple-...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...