5331 search results - page 206 / 1067 » Algebraic Methods for Optimization Problems |
173
Voted
FOCS
1992
IEEE
15 years 6 months ago
1992
IEEE
We announce methods for e cient management of solvable matrix groups over nite elds. We show that solvability and nilpotence can be tested in polynomial-time. Such e ciency seems ...
115
click to vote
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
107
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
A number of Inductive Logic Programming (ILP) systems have addressed the problem of learning First Order Logic (FOL) discriminant definitions by first reformulating the FOL lear...
113
Voted
AIPS
2010
15 years 5 months ago
2010
Factored planning methods aim to exploit locality to efficiently solve large but "loosely coupled" planning problems by computing solutions locally and propagating limit...
126
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
Both genetic algorithms (GAs) and temporal difference (TD) methods have proven effective at solving reinforcement learning (RL) problems. However, since few rigorous empirical com...