5216 search results - page 532 / 1044 » Planning as Model Checking |
188
click to vote
BILDMED
2009
15 years 4 months ago
2009
Abstract. Positron emission tomography (PET) is used for independent monitoring of dose delivery in ion therapy. An in-beam PET scanner registers the annihilation γ-rays following...
289
Voted
JIPS
2010
15 years 1 months ago
2010
Classical warranty plans require crisp data obtained from strictly controlled reliability tests. However, in a real situation these requirements might not be fulfilled. In an extre...
187
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
184
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
163
Voted
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...