1633 search results - page 303 / 327 » On the Verification of Temporal Properties |
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...
136
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Social network services have become a viable source of information for users. In Twitter, information deemed important by the community propagates through retweets. Studying the c...
279
click to vote
ACTA
2011
14 years 6 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...
110
click to vote
PAMI
2010
14 years 6 months ago
2010
We propose a novel method for removing irrelevant frames from a video given user-provided frame-level labeling for a very small number of frames. We first hypothesize a number of w...
122
click to vote
TMM
2010
14 years 6 months ago
2010
Abstract--In this article, a video multicast protocol for multihomed mobile terminals is proposed as an alternative stream control transmission protocol (SCTP) for partially reliab...