688 search results - page 42 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
DAGSTUHL
2006
13 years 9 months ago
2006
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
DEXA
2004
Springer
13 years 11 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
TOMACS
2011
13 years 2 months ago
2011
We consider the problem of the exact simulation of random variables Z that satisfy the distributional identity Z L = V Y + (1 − V )Z, where V ∈ [0, 1] and Y are independent, an...
ICS
2009
Tsinghua U.
14 years 2 months ago
2009
Tsinghua U.
We describe heterogeneous multi-CPU and multi-GPU implementations of Jacobi’s iterative method for the 2-D Poisson equation on a structured grid, in both single- and doublepreci...