Sciweavers

5600 search results - page 705 / 1120
» Evaluating affective interactions
Sort
View
CCGRID
2004
IEEE
15 years 10 months ago
Unifier: unifying cache management and communication buffer management for PVFS over InfiniBand
The advent of networking technologies and high performance transport protocols facilitates the service of storage over networks. However, they pose challenges in integration and i...
Jiesheng Wu, Pete Wyckoff, Dhabaleswar K. Panda, R...
BIRTHDAY
2006
Springer
15 years 10 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
FC
2006
Springer
108views Cryptology» more  FC 2006»
15 years 10 months ago
Uncheatable Reputation for Distributed Computation Markets
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...
Bogdan Carbunar, Radu Sion
ACMACE
2008
ACM
15 years 9 months ago
BeatBender: subsumption architecture for autonomous rhythm generation
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
Aaron Levisohn, Philippe Pasquier
ACMIDC
2008
15 years 9 months ago
PointAssist: helping four year olds point with ease
Children's difficulty in point-and-click tasks using indirect pointing devices such as the mouse has been documented in several studies. This difficulty is manifested in a la...
Juan Pablo Hourcade, Keith B. Perry, Aditya Sharma