437 search results - page 61 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
ICDE
2011
IEEE
13 years 13 days ago
2011
IEEE
—In this demonstration paper, we present a powerful distributed framework for finding similar trajectories in a smartphone network, without disclosing the traces of participatin...
SIGGRAPH
2010
ACM
14 years 22 days ago
2010
ACM
We introduce a video retargeting method that achieves high-quality resizing to arbitrary aspect ratios for complex videos containing diverse camera and dynamic motions. Previous c...
CONCUR
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—This paper builds a generic modeling framework for analyzing the edge-creation process in dynamic random graphs in which nodes continuously alternate between active and inactive...
PAMI
2002
13 years 8 months ago
2002
Decomposing video frames into coherent two-dimensional motion layers is a powerful method for representing videos. Such a representation provides an intermediate description that e...