727 search results - page 56 / 146 » Finite Resolution Dynamics |
123
Voted
ASE
2005
15 years 20 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
119
click to vote
SCA
2007
15 years 3 months ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
111
Voted
ISVC
2009
Springer
15 years 7 months ago
2009
Springer
We develop a method for the optical flow computation from a zooming image sequence. The synchronisation of image resolution for a pair of successive images in an image sequence is...
102
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In this paper we propose a fully asynchronous, timebased image sensor, which is characterized by high temporal resolution, low data rate (near complete temporal redunda...
100
Voted
DCC
2006
IEEE
15 years 6 months ago
2006
IEEE
A new approach of backward coding of wavelet trees (BCWT) is presented. Contrary to the common “forward” coding of wavelet trees from the highest level (lowest resolution), th...