Sciweavers

2918 search results - page 399 / 584
» Distributed Troubleshooting Agents
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
First-Order Axioms for Asynchrony
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
Peter Selinger
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
15 years 9 months ago
Spectral Multiscale Coverage: A uniform coverage algorithm for mobile sensor networks
Abstract— In this paper we propose centralized feedback control laws for mobile sensor networks so that sensor trajectories cover a given domain as uniformly as possible. The des...
George Mathew, Igor Mezic
CONCUR
2010
Springer
15 years 7 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
WWW
2009
ACM
16 years 7 months ago
Adaptive bidding for display advertising
Motivated by the emergence of auction-based marketplaces for display ads such as the Right Media Exchange, we study the design of a bidding agent that implements a display adverti...
Arpita Ghosh, Benjamin I. P. Rubinstein, Sergei Va...
ATAL
2005
Springer
16 years 1 days ago
Reasoning about joint beliefs for execution-time communication decisions
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
Maayan Roth, Reid G. Simmons, Manuela M. Veloso