5122 search results - page 727 / 1025 » Comparing Consequence Relations |
225
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
164
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
The performance of data-parallel algorithms for spatial operations using data-parallel variants of the bucket PMR quadtree, R-tree, and R+-tree spatial data structures is compared...
211
click to vote
META
1992
15 years 10 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
169
click to vote
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
Techniques are discussed for creating a rendered view into a 3D scene,interactively based on the locations and orientations of the observer's head and the display surface. St...
164
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Previous research on the use of diagrams for argumentation instruction has highlighted, but not conclusively demonstrated, their potential benefits. We examine the relative benefit...