1670 search results - page 180 / 334 » On Skolemization in constructive theories |
171
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
161
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
159
click to vote
PPDP
2005
Springer
16 years 2 hour ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
138
click to vote
IHM
2004
ACM
15 years 12 months ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
189
click to vote
EUROCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
We revisit the following open problem in information-theoretic cryptography: Does the communication complexity of unconditionally secure computation depend on the computational com...