4810 search results - page 39 / 962 » Modeling Value Speculation |
108
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
We present a new approach for the discriminative training
of continuous-valued Markov Random Field (MRF)
model parameters. In our approach we train the MRF
model by optimizing t...
ICCAD
1991
IEEE
15 years 1 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
QUESTA
2000
14 years 9 months ago
2000
We give a closed-form expression for the discounted weighted queue length and switching costs of a two-class single-server queueing model under a preemptive priority rule. These e...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Modal