5718 search results - page 416 / 1144 » Modeling Rule Precision |
196
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
Nowadays, some process information is represented by a process model. To understand process executed in many activities, process mining technologies are now extensively studied to...
157
click to vote
CDC
2008
IEEE
16 years 1 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...
179
click to vote
ISQED
2008
IEEE
16 years 1 months ago
2008
IEEE
Negative bias temperature instability (NBTI) is one of the primary limiters of reliability lifetime in nano-scale integrated circuits. NBTI manifests itself in a gradual increase ...
191
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
181
click to vote
ICWL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...