942 search results - page 95 / 189 » Cooperating Constraint Solvers |
GLOBECOM
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— For a multiple-input single-output (MISO) downlink channel with ¢ transmit antennas, it has been recently proved that zero-forcing beamforming (ZFBF) to a subset of (a...
AINA
2007
IEEE
14 years 11 months ago
2007
IEEE
Abstract— We propose a unified cross layer routing protocol with multiple constraints for CDMA multihop cellular networks (MCN). Multiple constraints are imposed on intermediate...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
103
click to vote
LION
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present EvA2, a comprehensive metaheuristic optimization framework with emphasis on Evolutionary Algorithms. It presents a modular structure of interfaces and abstract...
AAMAS
1998
Springer
14 years 9 months ago
1998
Springer
Since real-time search provides an attractive framework for resource-bounded problem solving, this paper extends the framework for autonomous agents and for a multiagent world. To ...