3394 search results - page 488 / 679 » Regular Object Types |
143
click to vote
APAL
2005
15 years 6 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
164
click to vote
JCIT
2007
15 years 6 months ago
2007
To achieve superior performance levels when working with heterogeneous distributed platforms, processscheduling decisions must be based essentially on the platform’s features an...
130
click to vote
TOG
2008
15 years 6 months ago
2008
This paper presents an optimization-based halftoning technique that preserves the structure and tone similarities between the original and the halftone images. By optimizing an ob...
174
click to vote
CACM
2000
15 years 6 months ago
2000
Class Hierarchies, Factories, and Stable Designs M uch of the debate about the general aptness of class hierarchies is rooted in the different objectives taxonomists and implemente...
141
click to vote
CGF
2002
15 years 6 months ago
2002
BSP trees and KD trees are fundamental data structures for collision detection in walkthrough environments. A basic issue in the construction of these hierarchical data structures...