1743 search results - page 125 / 349 » Generalized Modal Satisfiability |
108
Voted
ACMACE
2004
ACM
15 years 6 months ago
2004
ACM
Entertainment systems promise to be a significant application for Mixed Reality. Recently, a growing number of Mixed Reality applications have included interaction with virtual ac...
IUI
2004
ACM
15 years 6 months ago
2004
ACM
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
110
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
We address the problem of unsupervised image auto-annotation with probabilistic latent space models. Unlike most previous works, which build latent space representations assuming ...
112
Voted
LATIN
2004
Springer
15 years 6 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
96
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...