6960 search results - page 330 / 1392 » Continuity Analysis of Programs |
164
click to vote
AOR
2010
15 years 1 months ago
2010
We show how a technique from signal processing known as zero-delay convolution can be used to develop more efficient dynamic programming algorithms for a broad class of stochastic...
127
click to vote
ENTCS
2010
15 years 1 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
134
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
Thispaper addresses the problem of estimating, analyzing and tracking objects moving with spatio-temporal rotational motion (i.e. the angular velocity of spinning or orbiting moti...
137
click to vote
SCVMA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
158
click to vote
AIPS
2007
15 years 6 months ago
2007
This paper summarizes research on a new emerging framework for learning to plan using the Markov decision process model (MDP). In this paradigm, two approaches to learning to plan...