400 search results - page 74 / 80 » Moving Proofs-As-Programs into Practice |
133
click to vote
CE
2007
15 years 3 months ago
2007
The two separate projects described have examined how teachers exploit computer-based technologies in supporting learning of science at secondary level. This paper examines how pe...
129
click to vote
JKM
2007
15 years 3 months ago
2007
Purpose – The purpose of this paper, drawing as it does on earlier research, is to provide the context for a discussion on the use of rewards and recognition programmes in knowl...
137
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Inference of evolutionary trees using the maximum likelihood principle is NP-hard. Therefore, all practical methods rely on heuristics. The topological transformations...
143
click to vote
SIGGRAPH
1998
ACM
15 years 7 months ago
1998
ACM
The creation of believable and endearing characters in computer graphics presents a number of technical challenges, including the modeling, animation and rendering of complex shap...
156
click to vote
SIGGRAPH
1998
ACM
15 years 7 months ago
1998
ACM
We present an efficient algorithm for visibility sorting a set of moving geometric objects into a sequence of image layers which are composited to produce the final image. Inste...