Sciweavers

3154 search results - page 195 / 631
» Computing Closed Skycubes
Sort
View
FOSSACS
2010
Springer
16 years 22 days ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
ITICSE
2004
ACM
15 years 11 months ago
Use of large databases for group projects at the nexus of teaching and research
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowl...
Richard C. Thomas, Rebecca Mancy
IPPS
2002
IEEE
15 years 11 months ago
Parallel Out-of-Core Algorithm for Genome-Scale Enumeration of Metabolic Systemic Pathways
Systemic pathways-oriented approaches to analysis of metabolic networks are effective for small networks but are computationally infeasible for genome scale networks. Current comp...
Nagiza F. Samatova, Al Geist, George Ostrouchov, A...
SIGGRAPH
1994
ACM
15 years 10 months ago
Interactive pen-and-ink illustration
We present an interactive system for creating pen-and-ink illustrations. The system uses stroke textures--collections of strokes arranged in different patterns--to generate textur...
Michael Salisbury, Sean E. Anderson, Ronen Barzel,...
160
Voted
SIGGRAPH
1992
ACM
15 years 10 months ago
An importance-driven radiosity algorithm
We present a new radiosi[y algorithm for efficiently computing global solutions with respect to a constrained set of views. Radiosi ties of directly visible surfaces are computed ...
Brian E. Smits, James Arvo, David Salesin