992 search results - page 30 / 199 » Evaluating and Comparing Interaction Styles |
VL
2003
IEEE
14 years 1 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
PPL
2008
13 years 8 months ago
2008
The model of bulk-synchronous parallel computation (BSP) helps to implement portable general purpose algorithms while keeping predictable performance on different parallel compute...
ACMACE
2009
ACM
14 years 17 hour ago
2009
ACM
We present a concept of a fitness game that can be installed in public places and encourage passers-by to participate in a short play. The game is controlled by players' body...
ENTCS
2002
13 years 7 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
DOCENG
2005
ACM
13 years 10 months ago
2005
ACM
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...