6020 search results - page 67 / 1204 » A New Approach to Model Counting |
167
Voted
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
101
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
100
Voted
IJON
2007
15 years 3 months ago
2007
We simulate the induction and maintenance of late long-term potentiation (L-LTP) in the hippocampal dentate gyrus by means of a new synaptic plasticity rule that is the result of ...
134
Voted
IPMU
2010
Springer
15 years 8 months ago
2010
Springer
Usually, in a group decision context, the importance level, confidence degree and amount of knowledge are very different among individuals. So, when all the individuals have to r...
163
Voted
CISS
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...