3787 search results - page 676 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
115
Voted
AI
2000
Springer
15 years 1 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...
117
click to vote
ICTAI
2010
IEEE
14 years 11 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...
141
click to vote
TABLEAUX
1998
Springer
15 years 5 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...
116
click to vote
ACMACE
2005
ACM
15 years 3 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...
116
Voted
SWAP
2007
15 years 2 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...