234 search results - page 5 / 47 » Algorithmic Power from Declarative Use of Redundant Constrai... |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
CP
1995
Springer
13 years 11 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
WLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
GLOBECOM
2009
IEEE
2009
IEEE
Optimum Allocation of Energy and Spectrum in Power-Controlled Wireless Networks with QoS Constraints
13 years 11 months ago
An important performance measure in wireless networks is the manner in which the network can distributively manage its limited energy and spectrum resources, while assuring certain...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
—Both the communication limitation and the measurement properties based algorithm become the bottleneck of enhancing the traditional power system state estimation speed. The avai...