Sciweavers

5964 search results - page 313 / 1193
» A theory of speculative computation
Sort
View
IJMMS
2007
88views more  IJMMS 2007»
15 years 7 months ago
The sensual evaluation instrument: Developing a trans-cultural self-report measure of affect
In this paper we describe the development and testing of a tool for self-assessment of affect while interacting with computer systems, meant to be used in many cultures. We discus...
Katherine Isbister, Kristina Höök, Jarmo...
188
Voted
DC
2000
15 years 7 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
181
Voted
EATCS
2000
67views more  EATCS 2000»
15 years 7 months ago
Low-Discrepancy Sets For High-Dimensional Rectangles: A Survey
A sub-area of discrepancy theory that has received much attention in computer science recently, is that of explicit constructions of low-discrepancy point sets for various types o...
A. Srinivasan
170
Voted
BC
1999
100views more  BC 1999»
15 years 7 months ago
A mathematical model of the adaptive control of human arm motions
Abstract. This paper discusses similarities between models of adaptive motor control suggested by recent experiments with human and animal subjects, and the structure of a new cont...
Robert M. Sanner, Makiko Kosha
NGC
2002
Springer
15 years 7 months ago
Chance Discovery and Scenario Analysis
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...
Peter McBurney, Simon Parsons