688 search results - page 42 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
181
click to vote
DAGSTUHL
2006
15 years 7 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...
149
click to vote
DEXA
2004
Springer
15 years 9 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...
179
click to vote
SIGSOFT
2007
ACM
16 years 6 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...
260
click to vote
TOMACS
2011
15 years 17 days 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...
140
click to vote
ICS
2009
Tsinghua U.
16 years 12 days 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...