Sciweavers

AAAI
1998
13 years 6 months ago
Boosting in the Limit: Maximizing the Margin of Learned Ensembles
The "minimum margin" of an ensemble classifier on a given training set is, roughly speaking, the smallest vote it gives to any correct training label. Recent work has sh...
Adam J. Grove, Dale Schuurmans
AAAI
1998
13 years 6 months ago
Bayesian Network Models for Generation of Crisis Management Training Scenarios
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
Eugene Grois, William H. Hsu, Mikhail Voloshin, Da...
AAAI
1998
13 years 6 months ago
Boosting Combinatorial Search Through Randomization
Unpredictability in the running time of complete search procedures can often be explained by the phenomenon of "heavy-tailed cost distributions", meaning that at any tim...
Carla P. Gomes, Bart Selman, Henry A. Kautz
AAAI
1998
13 years 6 months ago
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability
Enrico Giunchiglia, Alessandro Massarotto, Roberto...
AAAI
1998
13 years 6 months ago
Supermodels and Robustness
When search techniques are used to solve a practical problem, the solution produced is often brittle in the sense that small execution difficulties can have an arbitrarily large e...
Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Ro...
AAAI
1998
13 years 6 months ago
Learning to Predict User Operations for Adaptive Scheduling
Mixed-initiativesystemspresent the challengeof finding an effective level of interaction betweenhumans and computers. Machinelearning presents a promising approachto this problemi...
Melinda T. Gervasio, Wayne Iba, Pat Langley
AAAI
1998
13 years 6 months ago
Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
Abigail S. Gertner, Cristina Conati, Kurt VanLehn
AAAI
1998
13 years 6 months ago
Inferring State Constraints for Domain-Independent Planning
Wedescribe somenewpreprocessing techniques that enable faster domain-independentplanning. Thefirst set of techniquesis aimedat inferring state constraints from the structure of pl...
Alfonso Gerevini, Lenhart K. Schubert
AAAI
1998
13 years 6 months ago
A Feature-Based Learning Method for Theorem Proving
Automatedreasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have manyshortcomings. The...
Matthias Fuchs
AAAI
1998
13 years 6 months ago
Structured Representation of Complex Stochastic Systems
This paperconsidersthe problem of representingcomplex systems that evolve stochastically over time. Dynamic Bayesian networks provide a compact representation for stochastic proce...
Nir Friedman, Daphne Koller, Avi Pfeffer