157 search results - page 32 / 32 » Incremental Compilation-to-SAT Procedures |
CORR
2011
Springer
13 years 13 days 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 11 days 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...