6456 search results - page 1012 / 1292 » Constraint Solving on Terms |
143
click to vote
AIED
2005
Springer
16 years 28 days ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
185
click to vote
ATAL
2005
Springer
16 years 27 days ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
196
click to vote
ATAL
2005
Springer
16 years 27 days ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
203
click to vote
ATAL
2005
Springer
16 years 27 days ago
2005
Springer
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
165
click to vote
ATAL
2005
Springer
16 years 27 days ago
2005
Springer
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...