Sciweavers

359 search results - page 5 / 72
» What to Do About Microsoft
Sort
View
ACMDIS
2006
ACM
14 years 1 months ago
What do usability evaluators do in practice?: an explorative study of think-aloud testing
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
Mie Nørgaard, Kasper Hornbæk
SIGMOD
2008
ACM
113views Database» more  SIGMOD 2008»
13 years 6 months ago
A "Gap Bridger"
I knew Jim Gray as a colleague, a friend and an employee. He created the first Microsoft Research group outside of our initial research lab in Redmond, WA. Jim's impact on in...
Richard F. Rashid
KR
1989
Springer
13 years 11 months ago
What the Lottery Paradox Tells Us About Default Reasoning
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
David Poole
ENVSOFT
2006
87views more  ENVSOFT 2006»
13 years 7 months ago
What every agent-based modeller should know about floating point arithmetic
Floating point arithmetic is a subject all too often ignored, yet, for agent-based models in particular, it has the potential to create misleading results, and even to influence e...
J. Gareth Polhill, Luis R. Izquierdo, Nicholas Mar...
AGP
1994
IEEE
13 years 11 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari