1128 search results - page 91 / 226 » Little Engines of Proof |
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Reputation mechanisms are essential for online transactions, where the parties have little prior experience with one another. This is especially true when transactions result in...
MIG
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
UIST
2004
ACM
15 years 3 months ago
2004
ACM
Light Emitting Diodes (LEDs) offer long life, low cost, efficiency, brightness, and a full range of colors. Because of these properties, they are widely used for simple displays i...
SIGMOD
1999
ACM
15 years 2 months ago
1999
ACM
In this paper, we introduce self-tuning histograms. Although similar in structure to traditional histograms, these histograms infer data distributions not by examining the data or...