Sciweavers

1256 search results - page 185 / 252
» Learning to Reason
Sort
View
ECCC
2007
99views more  ECCC 2007»
13 years 9 months ago
An Exponential Time/Space Speedup For Resolution
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
Philipp Hertel, Toniann Pitassi
JAIR
1998
195views more  JAIR 1998»
13 years 8 months ago
AntNet: Distributed Stigmergetic Control for Communications Networks
This paper introduces AntNet, a novel approach to the adaptive learning of routing tables in communications networks. AntNet is a distributed, mobile agents based Monte Carlo syst...
Gianni Di Caro, Marco Dorigo
ICRA
2010
IEEE
162views Robotics» more  ICRA 2010»
13 years 7 months ago
Adaptive multi-robot coordination: A game-theoretic perspective
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
Gal A. Kaminka, Dan Erusalimchik, Sarit Kraus
DIS
2010
Springer
13 years 7 months ago
Concept Convergence in Empirical Domains
How to achieve shared meaning is a significant issue when more than one intelligent agent is involved in the same domain. We define the task of concept convergence, by which intell...
Santiago Ontañón, Enric Plaza
AAAI
2012
11 years 11 months ago
Towards Discovering What Patterns Trigger What Labels
In many real applications, especially those involving data objects with complicated semantics, it is generally desirable to discover the relation between patterns in the input spa...
Yu-Feng Li, Ju-Hua Hu, Yuang Jiang, Zhi-Hua Zhou