5165 search results - page 880 / 1033 » Consistency of the Neighbor-Net Algorithm |
115
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
It is to date an open question to know how the updating methods affect the evolution of a multi-agent system. This question has been tackled for various complex systems such as ce...
111
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
163
click to vote
CIKM
2009
Springer
15 years 3 months ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
101
click to vote
DOCENG
2010
ACM
15 years 3 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
123
click to vote
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...