4962 search results - page 113 / 993 » Stochastic Model Checking |
SDM
2012
SIAM
11 years 11 months ago
2012
SIAM
APCCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
COLING
2000
13 years 10 months ago
2000
The paper illustrates a linguistic knowledge acquisition model making use of data types, innite memory, and an inferential mechanism for inducing new information from known data. ...
AUSAI
2005
Springer
14 years 2 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Accurate performance predictions are difficult to achieve for parallel applications executing on production distributed systems. Conventional point-valued performance parameters a...