Sciweavers

1274 search results - page 38 / 255
» The Geometry of Coin-Weighing Problems
Sort
View
IJCAI
1989
13 years 10 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim
ATAL
2010
Springer
13 years 10 months ago
Evolving policy geometry for scalable multiagent learning
A major challenge for traditional approaches to multiagent learning is to train teams that easily scale to include additional agents. The problem is that such approaches typically...
David B. D'Ambrosio, Joel Lehman, Sebastian Risi, ...
ICASSP
2011
IEEE
13 years 16 days ago
Transmit beamspace design for direction finding in colocated MIMO radar with arbitrary receive array
The transmit beamspace design problem for colocated multiple-input multiple-output (MIMO) radar is considered. We show that the MIMO radar transmit beampattern can be designed so ...
Arash Khabbazibasmenj, Aboulnasr Hassanien, Sergiy...
COMPGEOM
2011
ACM
13 years 11 days ago
Ant-sweep: a decentral strategy for cooperative cleaning in expanding domains
Several recent works considered cooperative cleaning in static and dynamic environments, which incorporates a swarm of simple robots cleaning an expanding region of contaminated c...
Thilo Beckmann, Rolf Klein, David Kriesel, Elmar L...
COMPGEOM
2011
ACM
13 years 11 days ago
Zigzag persistent homology in matrix multiplication time
We present a new algorithm for computing zigzag persistent homology, an algebraic structure which encodes changes to homology groups of a simplicial complex over a sequence of sim...
Nikola Milosavljevic, Dmitriy Morozov, Primoz Skra...