6770 search results - page 486 / 1354 » How GPUs Work |
177
click to vote
ECTEL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
144
click to vote
ADBIS
2001
Springer
15 years 10 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
157
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
148
Voted
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
156
click to vote
COSIT
2001
Springer
15 years 10 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...