25538 search results - page 21 / 5108 » Explanation in Information Systems |
EXACT
2007
13 years 10 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
ISWC
1997
IEEE
13 years 11 months ago
1997
IEEE
We describe a prototype system that combines together the overlaid 3D graphics of augmented reality with the untethered freedom of mobile computing. The goal is to explore how the...
IRI
2006
IEEE
14 years 1 months ago
2006
IEEE
We introduce, in this article, a way for building a Virtual Environment for Training to manage dynamic and collaborative situations in team sport. In these situations, relevant in...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Collaborative filtering (CF) has been successfully deployed over the years to compute predictions on items based on a user's correlation with a set of peers. The black-box na...
IJCAI
1989
13 years 8 months ago
1989
This paper describes an explanation-based approach lo learning plans despite a computationally intractable domain theory. In this approach, the system learns an initial plan using...