2922 search results - page 160 / 585 » Scalable Algorithms for Distribution Search |
138
click to vote
SASO
2010
IEEE
15 years 1 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...
152
Voted
PPSN
2004
Springer
15 years 9 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...
128
Voted
CAV
1993
Springer
15 years 8 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...
106
Voted
ICIW
2007
IEEE
15 years 10 months 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...
142
click to vote
AAAI
2000
15 years 5 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...