13 search results - page 3 / 3 » Ultimately Periodic Simple Temporal Problems (UPSTPs) |
ASE
2005
13 years 5 months 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...
CVPR
2008
IEEE
14 years 7 months ago
2008
IEEE
Given the video of a still background occluded by a fluid dynamic texture (FDT), this paper addresses the problem of separating the video sequence into its two constituent layers....
TVCG
2010
13 years 3 months ago
2010
— Obtaining models of dynamic 3D objects is an important part of content generation for computer graphics. Numerous methods have been extended from static scenarios to model dyna...