Sciweavers

4620 search results - page 112 / 924
» Comparing Object Encodings
Sort
View
110
Voted
VISUALIZATION
1997
IEEE
15 years 6 months ago
A topology modifying progressive decimation algorithm
Triangle decimation techniques reduce the number of triangles in a mesh, typically to improve interactive rendering performance or reduce data storage and transmission requirement...
William J. Schroeder
105
Voted
ESOP
2006
Springer
15 years 6 months ago
Linear Regions Are All You Need
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
Matthew Fluet, Greg Morrisett, Amal J. Ahmed
150
Voted
TIC
2000
Springer
174views System Software» more  TIC 2000»
15 years 6 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett
115
Voted
AAAI
2007
15 years 5 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
125
Voted
APVIS
2010
15 years 4 months ago
Adaptive proxy geometry for direct volume manipulation
This paper introduces a new design to allow interactive, direct manipulation of volume data on volumetrically rendered images. We present an adaptive volume proxy mesh which serve...
Megumi Nakao, Kei Wai Cecilia Hung, Satoshi Yano, ...