2451 search results - page 89 / 491 » The Octagon Abstract Domain |
180
click to vote
ACSW
2007
15 years 7 months ago
2007
Traditional DHT (Distributed Hash Tables) abstraction distributes data items among peer nodes on a structured overlay network. This introduces a number of issues when nodes are un...
188
click to vote
AI
2010
Springer
15 years 4 months ago
2010
Springer
Computer systems increasingly carry out tasks in mixed networks, that is in group settings in which they interact both with other computer systems and with people. Participants in...
175
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
156
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Many autonomous agents operate in domains in which the cooperation of their fellow agents cannot be guaranteed. In such domains negotiation is essential to persuade other...
139
click to vote
DAARC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It has been a prevalent assumption in the literature that phonetically null Subjects of finite clauses are pronouns. This paper examines in detail this empirical generali...