6456 search results - page 1012 / 1292 » Constraint Solving on Terms |
132
click to vote
AIED
2005
Springer
16 years 5 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...
153
click to vote
ATAL
2005
Springer
16 years 5 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...
182
Voted
ATAL
2005
Springer
16 years 5 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...
187
click to vote
ATAL
2005
Springer
16 years 5 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 ...
152
click to vote
ATAL
2005
Springer
16 years 5 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...