1912 search results - page 99 / 383 » On the evaluation of argumentation formalisms |
133
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
126
click to vote
CRYPTO
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
187
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
178
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
162
click to vote
AIME
1995
Springer
15 years 10 months ago
1995
Springer
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...