2010 search results - page 145 / 402 » On Object Extension |
144
click to vote
PG
1999
IEEE
15 years 8 months ago
1999
IEEE
The trivariate tensor-product B-spline solid is a direct extension of the B-spline patch and has been shown to be useful in the creation and visualization of free-form geometric s...
148
Voted
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
174
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
120
Voted
UIST
1993
ACM
15 years 8 months ago
1993
ACM
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
122
click to vote
SIGGRAPH
1992
ACM
15 years 8 months ago
1992
ACM
This paper presents an object-oriented toolkit for developers of interactive 3D graphics applications. The primary goal of the toolkit is (o make it easier for programmers to crea...