19936 search results - page 353 / 3988 » Inductive process modeling |
180
click to vote
MDAI
2005
Springer
16 years 7 days ago
2005
Springer
We formulate a fuzzy perceptive model for Markov decision processes with discounted payoff in which the perception for transition probabilities is described by fuzzy sets. Our aim...
155
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
201
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
213
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
160
click to vote
WSC
2008
15 years 9 months ago
2008
This paper deals with the problem of determining the optimal inspection strategy for a multi-stage production process using simulation optimization. An optimal inspection strategy...