157 search results - page 32 / 32 » Incremental Compilation-to-SAT Procedures |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
This work presents a distributed method for control centers in a power network to estimate the operating condition of the power plant, and to ultimately determine the occurrence o...
NECO
2011
13 years 2 months ago
2011
Selection of an optimal estimator typically relies on either supervised training samples (pairs of measurements and their associated true values), or a prior probability model for...