4835 search results - page 658 / 967 » Intelligent Selection Tools |
165
click to vote
APN
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
132
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
143
click to vote
MICAI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
194
click to vote
MICAI
2005
Springer
16 years 5 days ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
155
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...