2922 search results - page 160 / 585 » Scalable Algorithms for Distribution Search |
174
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
We present the ColoredPower algorithm, which is designed to provide collaborative electricity demand shaping for residential and small-business customers. Demand shaping for this m...
190
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
Bayesian networks (BN) constitute a useful tool to model the joint distribution of a set of random variables of interest. To deal with the problem of learning sensible BN models fr...
169
click to vote
CAV
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
134
click to vote
ICIW
2007
IEEE
16 years 21 days ago
2007
IEEE
Due to the widespread availability of accurate localization technologies, navigation systems are more and more present on mobile devices. These applications usually provide facili...
177
click to vote
AAAI
2000
15 years 7 months ago
2000
Many problem-solving tasks can be formalized as constraint satisfaction problems (CSPs). In a multi-agent setting, information about constraints and variables may belong to differ...