Sciweavers

1891 search results - page 251 / 379
» A Distributed Representation Approach to Group Problem Solvi...
Sort
View
JAR
1998
134views more  JAR 1998»
13 years 9 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
AI
2011
Springer
13 years 5 months ago
Bounded approximate decentralised coordination via the max-sum algorithm
In this paper we propose a novel approach to decentralised coordination, that is able to efficiently compute solutions with a guaranteed approximation ratio. Our approach is base...
Alex Rogers, Alessandro Farinelli, Ruben Stranders...
SOSP
2005
ACM
14 years 7 months ago
Capturing, indexing, clustering, and retrieving system history
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
Ira Cohen, Steve Zhang, Moisés Goldszmidt, ...
ICASSP
2011
IEEE
13 years 1 months ago
Target tracking and localization with ambiguous phase measurements of sensor networks
When tracking a target using phase-only signal returns, range ambiguities are a major issue. In this work, a look-up table between phase measurement space and target location spac...
Yongqiang Cheng, Xuezhi Wang, Terry Caelli, Bill M...
ATAL
2003
Springer
14 years 3 months ago
A method for decentralized clustering in large multi-agent systems
This paper examines a method of clustering within a fully decentralized multi-agent system. Our goal is to group agents with similar objectives or data, as is done in traditional ...
Elth Ogston, Benno J. Overeinder, Maarten van Stee...