3229 search results - page 387 / 646 » Theories with the Independence Property |
186
click to vote
FOSSACS
2005
Springer
16 years 29 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
176
click to vote
GECCO
2005
Springer
16 years 29 days ago
2005
Springer
In this paper we investigate the emergence of communication in competitive multi-agent systems. A competitive environment is created with two teams of agents competing in an explo...
193
Voted
OTM
2005
Springer
16 years 28 days ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
197
click to vote
SIGIR
2004
ACM
16 years 26 days ago
2004
ACM
This paper presents a new dependence language modeling approach to information retrieval. The approach extends the basic language modeling approach based on unigram by relaxing th...
175
Voted
ASIACRYPT
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between...