Sciweavers

37 search results - page 7 / 8
» On Bisimilarities Induced by Relations on Actions
Sort
View
AAAI
2006
15 years 3 months ago
On Strictly Competitive Multi-Player Games
We embark on an initial study of a new class of strategic (normal-form) games, so-called ranking games, in which the payoff to each agent solely depends on his position in a ranki...
Felix Brandt, Felix A. Fischer, Yoav Shoham
ENTCS
2006
181views more  ENTCS 2006»
15 years 1 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
Alexandru Baltag, Sonja Smets
JOCN
2010
98views more  JOCN 2010»
15 years 7 days ago
Visual Anticipatory Information Modulates Multisensory Interactions of Artificial Audiovisual Stimuli
■ The neural activity of speech sound processing (the N1 component of the auditory ERP) can be suppressed if a speech sound is accompanied by concordant lip movements. Here we d...
Jean Vroomen, Jeroen J. Stekelenburg
99
Voted
LPNMR
1990
Springer
15 years 5 months ago
The meaning of Negative Premises in Transition System Specifications
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
Roland N. Bol, Jan Friso Groote
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
15 years 4 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...