Sciweavers

11740 search results - page 430 / 2348
» More Problems in Rewriting
Sort
View
SSR
1997
93views more  SSR 1997»
15 years 8 months ago
Using Content-Derived Names for Configuration Management
Configuration management of compiled software artifacts (programs, libraries, icons, etc.) is a growing problem as software reuse becomes more prevalent. For an application compos...
Jeffrey K. Hollingsworth, Ethan L. Miller
WSC
2000
15 years 8 months ago
Medical education as a model for simulation education
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...
Andrew F. Seila
ECAI
2010
Springer
15 years 8 months ago
Strengthening Landmark Heuristics via Hitting Sets
The landmark cut heuristic is perhaps the strongest known polytime admissible approximation of the optimal delete relaxation heuristic h+ . Equipped with this heuristic, a best-fir...
Blai Bonet, Malte Helmert
ATVA
2010
Springer
114views Hardware» more  ATVA 2010»
15 years 7 months ago
Methods for Knowledge Based Controlling of Distributed Systems
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
154
Voted
AAMAS
2007
Springer
15 years 7 months ago
Parallel Reinforcement Learning with Linear Function Approximation
In this paper, we investigate the use of parallelization in reinforcement learning (RL), with the goal of learning optimal policies for single-agent RL problems more quickly by us...
Matthew Grounds, Daniel Kudenko