1824 search results - page 59 / 365 » Practices and Techniques for Engineering Process Capability ... |
151
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
161
click to vote
FUN
2010
Springer
15 years 8 months ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
142
Voted
CCE
2010
15 years 1 months ago
2010
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...
129
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
136
click to vote
WSC
2008
15 years 6 months ago
2008
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...