3787 search results - page 676 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
170
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
188
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
205
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
165
click to vote
ACMACE
2005
ACM
15 years 8 months ago
2005
ACM
Current commercial AI middleware are still far from being a generic and flexible tool for developing computer games. Also the literature lacks proposals in this field. In this w...
167
click to vote
SWAP
2007
15 years 7 months ago
2007
Abstract. Recent research showed the benefits of adopting formal ontologies as a means for accessing heterogeneous data sources. The use of an ontology not only provides a uniform...