403 search results - page 10 / 81 » A testing scenario for probabilistic processes |
IANDC
2006
13 years 7 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
DAWAK
2003
Springer
14 years 18 days ago
2003
Springer
In a data warehouse (DW) environment, when the operational environment does not posses or does not want to inform the data about the changes that occurred, controls have to be impl...
DILS
2009
Springer
14 years 1 months ago
2009
Springer
Probabilistic functional integrated networks are powerful tools with which to draw inferences from high-throughput data. However, network analyses are generally not tailored to spe...
SDM
2009
SIAM
14 years 4 months ago
2009
SIAM
This paper is concerned with the task of travel-time prediction for an arbitrary origin-destination pair on a map. Unlike most of the existing studies, which focus only on a parti...
ICSEA
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...