4469 search results - page 43 / 894 » Dynamic Program Slicing |
SLP
1997
13 years 9 months ago
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
CTCS
1995
Springer
13 years 11 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper describes a Bayesian algorithm for rigid/non-rigid 2D visual object tracking based on sparse image features. The algorithm is inspired by the way human visual cortex se...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
Phase?correlated CT is the measurement of an organ that exhibits quasi?periodic motion. Dedicated image reconstruction algorithms utilize only those data ranges that have been acq...
UAI
2003
13 years 9 months ago
2003
This paper introduces improved methodology to triangulate dynamic graphical models and dynamic Bayesian networks (DBNs). In this approach, a standard DBN template can be modified...