1578 search results - page 199 / 316 » Induction of Stable Models |
AAAI
2006
14 years 5 days ago
2006
Recent years have witnessed a growing interest in interactive narrative-centered virtual environments for education, training, and entertainment. Narrative environments dynamicall...
JMLR
2010
13 years 5 months ago
2010
Round-based games are an instance of discrete planning problems. Some of the best contemporary game tree search algorithms use random roll-outs as data. Relying on a good policy, ...
LICS
2012
IEEE
12 years 1 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
PODC
1998
ACM
14 years 3 months ago
1998
ACM
: We present a new model for handling messages and state in a distributed application that we call Messages in Local Transactions (MLT). Under this model, messages and data are not...
IJRR
2006
13 years 10 months ago
2006
The spring-loaded inverted pendulum (SLIP) is a simple, passivelyelastic two-degree-of-freedom model for legged locomotion that describes the center-of-mass dynamics of many anima...