Sciweavers

59 search results - page 7 / 12
» Active Probing Strategies for Problem Diagnosis in Distribut...
Sort
View
ATAL
2010
Springer
13 years 8 months ago
Reasoning about strategies of multi-agent programs
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...
Mehdi Dastani, Wojciech Jamroga
DBISP2P
2006
Springer
185views Database» more  DBISP2P 2006»
13 years 11 months ago
Answering Constrained k-NN Queries in Unstructured P2P Systems
The processing of k-NN queries has been studied extensively both in a centralized computing environment and in a structured P2P environment. However, the problem over an unstructur...
Bin Wang, Xiaochun Yang, Guoren Wang, Lei Chen 000...
WSDM
2012
ACM
325views Data Mining» more  WSDM 2012»
12 years 3 months ago
Correlating financial time series with micro-blogging activity
We study the problem of correlating micro-blogging activity with stock-market events, defined as changes in the price and traded volume of stocks. Specifically, we collect messa...
Eduardo J. Ruiz, Vagelis Hristidis, Carlos Castill...
CRV
2005
IEEE
225views Robotics» more  CRV 2005»
14 years 1 months ago
Distributed Multi-Robot Exploration and Mapping
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
Dieter Fox
ATAL
2006
Springer
13 years 11 months ago
Behaviosites: a novel paradigm for affecting distributed behavior
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...
Amit Shabtay, Zinovi Rabinovich, Jeffrey S. Rosens...