3047 search results - page 233 / 610 » A Temporal Consensus Model |
167
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
164
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
164
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In this contribution, a novel spatio-temporal prediction algorithm for video coding is introduced. This algorithm exploits temporal as well as spatial redundancies for effectively...
223
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We couple occlusion modeling and multi-frame motion estimation to compute dense, temporally extended point trajectories in video with significant occlusions. Our approach combine...
144
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...