13090 search results - page 2408 / 2618 » Usable artificial intelligence |
196
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
203
click to vote
ACMACE
2005
ACM
16 years 3 days ago
2005
ACM
We describe the development of the CaveUT system, which is a software supporting immersive virtual reality installations based on the Unreal Tournament game engine. CaveUT impleme...
151
click to vote
HT
2005
ACM
16 years 3 days ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
167
click to vote
ICAIL
2005
ACM
16 years 3 days ago
2005
ACM
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
193
click to vote
ICAIL
2005
ACM
16 years 3 days ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...