Sciweavers

2525 search results - page 278 / 505
» A Framework for Semantic Gossiping
Sort
View
LPNMR
2005
Springer
16 years 22 days ago
Nested Epistemic Logic Programs
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
Kewen Wang, Yan Zhang
EGOV
2004
Springer
16 years 18 days ago
Encoding of Public Records and Procedures in Electronic Registries
An electronic registry is the main mechanism for the official distribution of public records, which are created within the framework of administrative procedures and business trans...
Georgia Prokopiadou, Christos Papatheodorou, Diony...
FASE
2004
Springer
16 years 18 days ago
Actor-Centric Modeling of User Rights
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
Ruth Breu, Gerhard Popp
ICALP
2004
Springer
16 years 18 days ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
SIGIR
2003
ACM
16 years 14 days ago
On an equivalence between PLSI and LDA
Latent Dirichlet Allocation (LDA) is a fully generative approach to language modelling which overcomes the inconsistent generative semantics of Probabilistic Latent Semantic Index...
Mark Girolami, Ata Kabán