RTL Estimation of Steering Logic Power.
Crina AntonPierluigi CiveraIonel ColonescuEnrico MaciiMassimo PoncinoAlessandro BoglioloPublished in: PATMOS (2000)
Keyphrases
- logic programming
- estimation accuracy
- proof theory
- parameter estimation
- estimation algorithm
- probabilistic model
- multi valued
- maximum likelihood estimation
- modal logic
- database
- accurate estimation
- automated reasoning
- power consumption
- maximum likelihood
- classical logic
- estimation process
- predicate logic
- power distribution