4469 search results - page 269 / 894 » Dynamic Program Slicing |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
FUIN
2010
13 years 6 months ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
The computational power provided by many-core graphics processing units (GPUs) has been exploited in many applications. The programming techniques currently employed on these GPUs...
CISS
2011
IEEE
12 years 12 months ago
2011
IEEE
—In this work we address the problem of state estimation in dynamical systems using recent developments in compressive sensing and sparse approximation. We formulate the traditio...
JMLR
2012
11 years 10 months ago
2012
To relax the homogeneity assumption of classical dynamic Bayesian networks (DBNs), various recent studies have combined DBNs with multiple changepoint processes. The underlying as...