819 search results - page 54 / 164 » Using Assumptions to Distribute CTL Model Checking |
96
Voted
UAI
2003
15 years 1 months ago
2003
We show how to use linear belief functions to represent market information and financial knowledge, including complete ignorance, statistical observations, subjective speculations...
CSDA
2008
15 years 20 days ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
80
Voted
CORR
2000
Springer
15 years 12 days ago
2000
Springer
The rate of occurrence of words is not uniform but varies from document to document. Despite this observation, parameters for conventional n-gram language models are usually deriv...