3199 search results - page 246 / 640 » Variability in Automation System Models |
169
click to vote
EPEW
2009
Springer
16 years 1 months ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
155
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
Development and maintenance of a case-base is known to be one of the most difficult problems in real-world application of case-based diagnosis systems. The complexity of large tech...
163
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
174
click to vote
LPAR
2005
Springer
16 years 19 hour ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
176
click to vote
NIPS
1998
15 years 7 months ago
1998
The Expectation Maximization EM algorithm is an iterative procedure for maximum likelihood parameter estimation from data sets with missing or hidden variables 2 . It has been app...