Sciweavers

INFORMATICALT
2006
115views more  INFORMATICALT 2006»
13 years 11 months ago
Sequent Calculi for Temporal Logics of Common Knowledge and Belief
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
Jurate Sakalauskaite
CORR
2010
Springer
122views Education» more  CORR 2010»
13 years 11 months ago
Capacity Region of Gaussian MIMO Broadcast Channels with Common and Confidential Messages
We study the two-user Gaussian multiple-input multiple-output (MIMO) broadcast channel with common and confidential messages. In this channel, the transmitter sends a common messa...
Ersen Ekrem, Sennur Ulukus
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 11 months ago
Gaussian MIMO Broadcast Channels with Common and Confidential Messages
We study the two-user Gaussian multiple-input multiple-output (MIMO) broadcast channel with common and confidential messages. In this channel, the transmitter sends a common messag...
Ersen Ekrem, Sennur Ulukus
AAAI
1998
14 years 7 days ago
Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem
qYaditionally, constraint satisfaction problems(CSPs) are characterized using a finite set of constraints expressed within a common,shared constraint language. Whenreasoning acros...
Daniel J. Clancy, Benjamin Kuipers
PODC
2000
ACM
14 years 2 months ago
Efficient generation of all regular non-dominated coteries
A coterie is a family of subsets such that every pair of subsets in it has at least one element in common but neither is a subset of the other. We introduce an operator , which
Kazuhisa Makino, Tiko Kameda
IHIS
2005
ACM
14 years 4 months ago
An architecture for the interoperability of workflow models
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlid...