338 search results - page 20 / 68 » On the Complexity of Termination Inference for Processes |
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
IJAR
2006
14 years 9 months ago
2006
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
PSIVT
2007
Springer
15 years 3 months ago
2007
Springer
This paper considers the problem of Bayesian inference in dynamical models with time-varying dimension. These models have been studied in the context of multiple target tracking pr...
NIPS
2007
14 years 11 months ago
2007
We propose a Gaussian process (GP) framework for robust inference in which a GP prior on the mixing weights of a two-component noise model augments the standard process over laten...
VLSISP
2002
14 years 9 months ago
2002
Abstract. Many statistical signal processing problems found in wireless communications involves making inference about the transmitted information data based on the received signal...