476 search results - page 16 / 96 » Information Algebras |
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
ITSL
2008
13 years 9 months ago
2008
We explicitly determine quasi-polynomials describing the weight multiplicities of the Lie algebra so5(C). This information entails immediate complete knowledge of the character of ...
CAI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
ECCC
2007
13 years 7 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...