Sciweavers

2163 search results - page 334 / 433
» On the Effectiveness of Relevance Profiling
Sort
View
TASE
2007
IEEE
16 years 17 days ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
AIME
2007
Springer
16 years 14 days ago
R-CAST-MED: Applying Intelligent Agents to Support Emergency Medical Decision-Making Teams
Decision-making is a crucial aspect of emergency response during mass casualty incidents (MCIs). MCIs require rapid decisions to be taken by geographically-dispersed teams in an en...
Shizhuo Zhu, Joanna Abraham, Sharoda A. Paul, Madh...
ATAL
2007
Springer
16 years 14 days ago
Estimating information value in collaborative multi-agent planning systems
This paper addresses the problem of identifying the value of information held by a teammate on a distributed, multi-agent team. It focuses on a distributed scheduling task in whic...
David Sarne, Barbara J. Grosz
CIKM
2007
Springer
16 years 14 days ago
A knowledge-based search engine powered by wikipedia
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
David N. Milne, Ian H. Witten, David M. Nichols
EEMMAS
2007
Springer
16 years 14 days ago
Engineering Contextual Information for Pervasive Multiagent Systems
Multiagent systems for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises th...
Gabriella Castelli, Marco Mamei, Franco Zambonelli