Sciweavers

1479 search results - page 175 / 296
» Extremal collective behavior
Sort
View
AAAI
2007
15 years 8 months ago
Intention Guided Belief Revision
This paper aims to investigate methodologies to utilize an agent’s intentions as a means to guide the revision of its beliefs. For this purpose, we develop a collection of belie...
Timothy William Cleaver, Abdul Sattar
AMAST
2008
Springer
15 years 8 months ago
Verification of Java Programs with Generics
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
Kurt Stenzel, Holger Grandy, Wolfgang Reif
ATAL
2008
Springer
15 years 8 months ago
The senior companion multiagent dialogue system
This article presents a multi-agent dialogue system. We show how a collection of relatively simple agents is able to treat complex dialogue phenomena and deal successfully with di...
Hugo Pinto, Yorick Wilks, Roberta Catizone, Alexie...
EGOV
2006
Springer
15 years 8 months ago
Designing Government Portal Navigation Around Citizens' Needs
Improving the usability of government portal sites requires a focus shift from system to user in both research and design. Empirical studies into user behavior are needed to suppor...
Rob Klaassen, Joyce Karreman, Thea van der Geest
CLA
2007
15 years 8 months ago
ZART: A Multifunctional Itemset Mining Algorithm
Abstract. In this paper, we present and detail a multifunctional itemset mining algorithm called Zart, which is based on the Pascal algorithm. Zart shows a number of additional fea...
Laszlo Szathmary, Amedeo Napoli, Sergei O. Kuznets...