3047 search results - page 331 / 610 » A Temporal Consensus Model |
197
click to vote
OPODIS
2010
15 years 4 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
168
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Video-based recognition and prediction of a temporally extended activity can benefit from a detailed description of high-level expectations about the activity. Stochastic grammars...
194
click to vote
FMCO
2007
Springer
16 years 22 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
160
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
158
click to vote
ECML
2004
Springer
15 years 12 months ago
2004
Springer
Reinforcement learning (RL) algorithms attempt to assign the credit for rewards to the actions that contributed to the reward. Thus far, credit assignment has been done in one of t...