Sciweavers

810 search results - page 126 / 162
» Solving Time-Dependent Planning Problems
Sort
View
IJCAI
1997
13 years 9 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
CGF
2008
118views more  CGF 2008»
13 years 8 months ago
Manifold-valued Thin-Plate Splines with Applications in Computer Graphics
We present a generalization of thin-plate splines for interpolation and approximation of manifold-valued data, and demonstrate its usefulness in computer graphics with several app...
Florian Steinke, Matthias Hein, Jan Peters, Bernha...
JDS
2006
89views more  JDS 2006»
13 years 8 months ago
Network Enabled Decision Support for Civil Emergency Management
Civil emergency management is discussed when more than one aid organisation is involved in solving an emergency problem. This paper analyses interagency cooperation, decision-makin...
Heiner Micko, Johannes Leitner
AIEDU
2005
98views more  AIEDU 2005»
13 years 7 months ago
The Andes Physics Tutoring System: Lessons Learned
The Andes system is a mature intelligent tutoring system that has helped hundreds of students improve their learning of university physics. It replaces pencil and paper problem so...
Kurt VanLehn, Collin Lynch, Kay G. Schulze, Joel A...
FLAIRS
2009
13 years 5 months ago
Dynamic Programming Approximations for Partially Observable Stochastic Games
Partially observable stochastic games (POSGs) provide a rich mathematical framework for planning under uncertainty by a group of agents. However, this modeling advantage comes wit...
Akshat Kumar, Shlomo Zilberstein