Sciweavers

877 search results - page 104 / 176
» Combining Intelligent Agents and Animation
Sort
View
ECAI
2004
Springer
15 years 5 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
ATAL
2006
Springer
15 years 3 months ago
Information-theoretic approaches to branching in search
Deciding what to branch on at each node is a key element of search algorithms. We present four families of methods for selecting what question to branch on. They are all informati...
Andrew Gilpin, Tuomas Sandholm
IDEAL
2000
Springer
15 years 3 months ago
Observational Learning with Modular Networks
Observational learning algorithm is an ensemble algorithm where each network is initially trained with a bootstrapped data set and virtual data are generated from the ensemble for ...
Hyunjung Shin, Hyoungjoo Lee, Sungzoon Cho
AAAI
2008
15 years 2 months ago
Active Learning for Pipeline Models
For many machine learning solutions to complex applications, there are significant performance advantages to decomposing the overall task into several simpler sequential stages, c...
Dan Roth, Kevin Small
AAAI
2008
15 years 2 months ago
On the Power of Top-Down Branching Heuristics
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...
Matti Järvisalo, Tommi A. Junttila