2071 search results - page 191 / 415 » An Empirical Evaluation of LFG-DOP |
109
click to vote
AAAI
2007
15 years 3 months ago
2007
We present a new estimator for counting the number of solutions of a Boolean satisfiability problem as a part of an importance sampling framework. The estimator uses the recently...
108
click to vote
AAAI
2007
15 years 3 months ago
2007
In this paper we present RETALIATE, an online reinforcement learning algorithm for developing winning policies in team firstperson shooter games. RETALIATE has three crucial chara...
AIPS
2008
15 years 3 months ago
2008
In this paper, we report on a new solver for large instances of the Disjunctive Temporal Problem (DTP). Our solver is based primarily on the idea of employing "compact" ...
WSC
2007
15 years 3 months ago
2007
We develop and evaluate a two-level simulation procedure that produces a confidence interval for tail conditional expectation, otherwise known as conditional tail expectation. Th...
WSC
2008
15 years 3 months ago
2008
SEARUMS is an Eco-modeling, bio-simulation, and analysis environment to study the global epidemiology of Avian Influenza. Originally developed in Java, SEARUMS enables comprehensi...