Sciweavers

990 search results - page 77 / 198
» Using evolution strategies to solve DEC-POMDP problems
Sort
View
MKM
2005
Springer
14 years 1 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
AAAI
1998
13 years 9 months ago
Multi Machine Scheduling: An Agent-Based Approach
Scheduling of multiple parallel machinesin the face of sequence dependent setups and downstream considerations is a hard problem. No single efficient algorithm is guaranteedto pro...
Rama Akkiraju, Pinar Keskinocak, Sesh Murthy, Fred...
MOR
2008
98views more  MOR 2008»
13 years 8 months ago
An Analysis of Monotone Follower Problems for Diffusion Processes
We consider a singular stochastic control problem, which is called the Monotone Follower Stochastic Control Problem and give sufficient conditions for the existence and uniqueness...
Erhan Bayraktar, Masahiko Egami
ENTCS
2010
136views more  ENTCS 2010»
13 years 5 months ago
A Solver for Modal Fixpoint Logics
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
Oliver Friedmann, Martin Lange
COGSCI
2004
74views more  COGSCI 2004»
13 years 8 months ago
You'll see what you mean: Students encode equations based on their knowledge of arithmetic
This study investigated the roles of problem structure and strategy use in problem encoding. Fourthgrade students solved and explained a set of typical addition problems (e.g., 5 ...
Nicole M. McNeil, Martha W. Alibali