Sciweavers

587 search results - page 39 / 118
» On the Relative Sizes of Learnable Sets
Sort
View
ENTCS
2006
153views more  ENTCS 2006»
13 years 8 months ago
Automatic Complexity Analysis for Programs Extracted from Coq Proof
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
Jean-Pierre Jouannaud, Weiwen Xu
ICRA
2003
IEEE
116views Robotics» more  ICRA 2003»
14 years 2 months ago
Learning to role-switch in multi-robot systems
We present an approach that uses Q-learning on individual robotic agents, for coordinating a missiontasked team of robots in a complex scenario. To reduce the size of the state sp...
Eric Martinson, Ronald C. Arkin
IJCAI
2007
13 years 10 months ago
Vote and Aggregation in Combinatorial Domains with Structured Preferences
In many real-world collective decision problems, the set of alternatives is a Cartesian product of finite value domains for each of a given set of variables. The prohibitive size...
Jérôme Lang
IJCAI
1989
13 years 9 months ago
Reasoning About Hidden Mechanisms
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...
Richard J. Doyle
EOR
2007
111views more  EOR 2007»
13 years 8 months ago
A pegging approach to the precedence-constrained knapsack problem
The knapsack problem (KP) is generalized to the case where items are partially ordered through a set of precedence relations. As in ordinary KPs, each item is associated with pro...
Byungjun You, Takeo Yamada