3733 search results - page 68 / 747 » Logics of communication and change |
125
click to vote
ASYNC
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
116
Voted
IJNSEC
2008
15 years 22 days ago
2008
In group communication, users often have different access rights to multiple data streams. Based on the access relation of users and data streams, users can form partially ordered...
118
Voted
ICPR
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract Target detection and tracking is one of the most important and fundamental technologies to develop real world computer vision systems such as security and traffic monitori...
125
Voted
DALT
2008
Springer
15 years 2 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
120
Voted
CLIMA
2004
15 years 2 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...