3229 search results - page 387 / 646 » Theories with the Independence Property |
174
click to vote
FOSSACS
2005
Springer
16 years 7 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...
156
click to vote
GECCO
2005
Springer
16 years 7 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...
159
Voted
OTM
2005
Springer
16 years 6 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...
177
click to vote
SIGIR
2004
ACM
16 years 4 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...
156
click to vote
ASIACRYPT
2004
Springer
16 years 4 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...