1798 search results - page 109 / 360 » Considerations for the design of exergames |
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
GI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract: P2P Meeting Tool is a meeting management tool, which uses Peer-toPeer technology to realise a pervasive computing environment. Users can search for and join a meeting ses...
IEEEMSP
2002
IEEE
15 years 3 months ago
2002
IEEE
Abstract— This paper discusses encryption operations that selectively encrypt content-carrying segments of multimedia data stream. We propose and analyze three techniques that wo...
ICTAI
2000
IEEE
15 years 2 months ago
2000
IEEE
The question addressed in this paper is which types of spatial reference human users employ in the interaction with a robot and how a cognitively adequat model of these strategies...
ISPD
2000
ACM
15 years 2 months ago
2000
ACM
We propose a gate resizing method for delay and power optimization that is based on statistical static timing analysis. Our method focuses on the component of timing uncertainties...