3119 search results - page 309 / 624 » General Default Logic |
196
click to vote
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
197
click to vote
TCC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
175
click to vote
ISLPED
2003
ACM
15 years 12 months ago
2003
ACM
This paper develops a technique that uniquely combines the advantages of static scheduling and dynamic scheduling to reduce the energy consumed in modern superscalar processors wi...
180
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
The problem investigated in this paper is the distribution of goals addressed to a group of rational agents. Those agents are characterized by their ability (i.e. what they can do...
182
click to vote
ATAL
2003
Springer
15 years 12 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...