1162 search results - page 163 / 233 » An Information-Based Theory of Conditionals |
154
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
158
click to vote
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
We study power control in multicell CDMA wireless networks as a team optimization problem where each mobile attains at the minimum its individual ï¬xed target SIR level and beyon...
147
click to vote
ACMACE
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
163
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present a general logic of explicit knowledge represented as ï¬nite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
176
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...