2231 search results - page 304 / 447 » Hierarchical back-face computation |
174
click to vote
ICDT
2001
ACM
15 years 11 months ago
2001
ACM
Withthe proliferation of database views and curated databases, the issue of data provenance where a piece of data came from and the process by which it arrived in the database is b...
151
click to vote
BIBE
2000
IEEE
15 years 11 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
171
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
Two new spatial join operations, distance join and distance semijoin, are introduced where the join output is ordered by the distance betweenthe spatialattribute values ofthe join...
162
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
176
click to vote
ECP
1997
Springer
15 years 10 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...