Sciweavers

2715 search results - page 301 / 543
» An Implementation of Narrowing Strategies
Sort
View
AUTOMATICA
2008
86views more  AUTOMATICA 2008»
15 years 6 months ago
Notes on averaging over acyclic digraphs and discrete coverage control
In this paper we study averaging algorithms and coverage control laws in a unified light. First, we characterize the convergence properties of averaging algorithms over acyclic di...
Chunkai Gao, Jorge Cortés, Francesco Bullo
AUTOMATICA
2008
127views more  AUTOMATICA 2008»
15 years 6 months ago
On decentralized negotiation of optimal consensus
A consensus problem consists of finding a distributed control strategy that brings the state or output of a group of agents to a common value, a consensus point. In this paper, we...
Björn Johansson, Alberto Speranzon, Mikael Jo...
CI
2010
129views more  CI 2010»
15 years 6 months ago
On-Line Case-Based Planning
Some domains, such as real-time strategy (RTS) games, pose several challenges to traditional planning and machine learning techniques. In this paper, we present a novel on-line ca...
Santi Ontañón, Kinshuk Mishra, Neha ...
CMPB
2010
109views more  CMPB 2010»
15 years 6 months ago
Cell Accelerated Cryoablation Simulation
Abstract. Tracking growth of lethal ice is critical to success of percutaneous ablations using supercooled probes introduced into cancerous lesions. Physicians lack planning tools ...
Daniel J. Blezek, David G. Carlson, Lionel T. Chen...
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 6 months ago
Testing and Debugging Techniques for Answer Set Solver Development
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
Robert Brummayer, Matti Järvisalo