553 search results - page 98 / 111 » Learning Meets Verification |
AAAI
2000
14 years 11 months ago
2000
Developing tools that allow non-programmers to enter knowledge has been an ongoing challenge for AI. In recent years researchers have investigated a variety ofpromising approaches...
ISKO
1997
14 years 11 months ago
1997
This paper was prepared for a lecture at a recent meeting of the German Chapter of ISKO devoted to Wissensorganisation mit Multimedialen Techniken [Knowledge Organization with Mul...
IAAI
1993
14 years 10 months ago
1993
Implementing and maintaining complicated manufacturing processes in an error-free mode is essential to the survival of any manufacturing business. One essential element to realizi...
103
click to vote
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
In open, dynamic multi-agent systems, agents may form short-term ad-hoc groups, such as coalitions, in order to meet their goals. Trust and reputation are crucial concepts in thes...
DAIS
2008
14 years 10 months ago
2008
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...