5539 search results - page 29 / 1108 » What can be computed locally |
CHI
2007
ACM
14 years 10 months ago
2007
ACM
New forms of tangible and spatial child computer interaction and supporting technologies can be designed to leverage the way children develop intelligence in the world. In order t...
SIGCSE
2006
ACM
14 years 3 months ago
2006
ACM
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
LPNMR
2011
Springer
13 years 22 days ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
A large photo collection downloaded from the internet spans a wide range of scenes, cameras, and photographers. In this paper we introduce several novel priors for statistics of su...
DAGSTUHL
1996
13 years 11 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...