13841 search results - page 2375 / 2769 » Algorithms and Constraint Programming |
144
Voted
COMBINATORICS
2002
15 years 4 months ago
2002
Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple...
159
click to vote
AROBOTS
1999
15 years 4 months ago
1999
We use reinforcement learning (RL) to compute strategies for multiagent soccer teams. RL may pro t signi cantly from world models (WMs) estimating state transition probabilities an...
143
click to vote
JAR
2002
15 years 4 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
151
click to vote
JFP
2002
15 years 4 months ago
2002
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
152
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...